アカウント名:
パスワード:
食っていけないから.
> 型付きラムダ計算が縁の下の力持ちなんですよと教えてあげるのは有意義だと思う
型付きラムダ計算が、「安全かつ信頼性の高いIT化の進展」のために縁の下の力持ちとして使われている数百種類の技術のうちのひとつであることを教えてあげるのは、有意義かもしれません。
むしろブール代数と論理回路、CPUの動作の方に触れるべきだと思うんだが。
とはいえ、情報科学の最初の教育に使えそうなCPUアーキテクチャは古いのか仮想のものになるな。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
192.168.0.1は、私が使っている IPアドレスですので勝手に使わないでください --- ある通りすがり
言語コースはRubyかぁ (スコア:-1, フレームのもと)
MinCamlを学ばせた方がよっぽどためになると思うのだが
Re: (スコア:1)
食っていけないから.
Re:言語コースはRubyかぁ (スコア:0)
将来の秀才とか天才を育てたいなら、きちんとラムダ計算から学ばせなきゃ。プログラミングコースなんだし。
そりゃ普通の学校の授業じゃ無理だと思うけど、こういうキャンプだからこそ。
Re: (スコア:0)
Re: (スコア:0)
リンク先の「プログラミングコース 目的」にも、
>安全かつ信頼性の高いIT化の進展について正しい知識を与えること
とあるわけで、
型付きラムダ計算が縁の下の力持ちなんですよと教えてあげるのは有意義だと思う
Re: (スコア:0)
Re: (スコア:0)
> 型付きラムダ計算が縁の下の力持ちなんですよと教えてあげるのは有意義だと思う
型付きラムダ計算が、「安全かつ信頼性の高いIT化の進展」のために
縁の下の力持ちとして使われている数百種類の技術のうちのひとつで
あることを教えてあげるのは、有意義かもしれません。
Re: (スコア:0)
むしろブール代数と論理回路、CPUの動作の方に
触れるべきだと思うんだが。
とはいえ、情報科学の最初の教育に使えそうな
CPUアーキテクチャは古いのか仮想のものになるな。