-
プリプロセッサーは根本的に邪悪である。いやしくもC プログラマたるものは、#defineと打つたびに恥じ入るべきである。思うに、プリプロセッサーには、中毒性があるのではないかと思う。現に、私の知るある奇人などは、寝る間も惜しんでプリプロセッサーメタプログラミングに打ち込んでいるそうである。私は何度も。プリプロセッサーは体に悪いからやめた方がいいと忠告したのだが、まるで聞き入れる様子がない。
-
彼が普段使っている携帯電話とラップトップは自宅に置いて行き、代用のデバイスを持ち歩きます。代用デバイスの中のデータは米国出国前にいったん消去し、帰国したらその瞬間にまた消去します。中国内ではBluetoothもWi-Fiもすべて無効にし、携帯電話からは決して目を離しません。会議中は携帯電話の電源をオフにし、さらにはバッテリーも外してしまいます。なぜでしょう？ マイクが遠隔でオンにされる可能性があるからです。
インターネット接続には暗号化・パスワード保護された経路のみ使用、そのパスワードを入力するのもUSBメモリからのコピー＆ペーストのみです。キーボード入力などはしないのです。というのは、「中国人はキー入力監視ソフトをラップトップに忍び込ませるのがすごく上手なんです。」 -
OCamler ⇒ 岡村さん SMLer ⇒ 須村さん Schemer ⇒ 隙間さん
-
大学で学ぶべきなのは、アルゴリズム、数学、など学術的な分野です。学問は独学は難しいし、自分で学ぶのは効率が悪いです。こういった知識は、例えばfacebookの知り合い候補を出す仕組みであったり、Twitterのトレンドキーワードを出す仕組みに応用できます。僕はこういった知識を得るために、大学に行きます。 一方、プログラミング言語の知識は、学問とは違います。独学で身につける事ができます。プログラミングについての本は本屋にいけばいくらでもありますし、インターネット上にもとてもたくさんの情報があります。本やインターネットから情報を仕入れて、自分でプログラムを書いて動かしてみることで、十分にプログラミング言語の知識は身につける事が出来ます。多くのプログラマは、独学でプログラミングの知識を身につけています。若いプログラマはなおさらです。
-
基本的に OCaml も F# も SML も Haskell も Hindley-Milner type system に根ざした ML の一種です。ですから、プログラムの見た目は違いますが、その違いに慣れればこの内一つを使える人は Haskell も書けます。書けないのは、書こうとしないからだけ。
-
Twitter / @VoQn: @kazu_yamamoto Richard Gab ...
@VoQn ニュージャージースタイルと MIT スタイルって何ですか？
@kazu_yamamoto Richard Gabriel の The Rise of “Worse is Better” から来た Lisp と Unix/C との設計スタイルの違いの呼称です is.gd/9rM97u
-
「コードの美しさ」とか「コードの見やすさ」って ニュージャージースタイルのソフトウェアデザインを採用するか MIT スタイルのソフトウェアデザインを採用するかでも違うと思うのだけど，そのどちらの事もお勉強してないとひどい議論になるんじゃないのかな
-
LispはAmazonの初期を構築したし、haskellは今皆さんが使ってるPCのGPU設計にも使われとるがな…
-
twitter上のリア充を爆発させる、次世代のリア充爆発プラットフォームです。 現在、 20000 回、リア充が爆発されています。
Source: riaju.tk
-
コンピュータ・サイエンスの天才といわれると、
僕は、Steeleという名をすぐに頭に思い浮かべ
てしまう。Guy Steele Jr.は、既にハーバード大
学の学生のときに、並列ガーベッジ・コレクシ
ョンでACMの論文賞を獲得して世界的に有名と
なった。MITの大学院においては、Sussmanと
ともにLispの新しい方言であるSchemeを開発
した。また、ハッカーズ・ディクショナリの編
者としても有名である。僕は、Schemeの開発こそ、コンピュータ・サ
イエンスの典型的なセンスの一つではないかと
思うのである。それまでは、LISPの考案者
McCarthyのまやかしともいえる「変数の動的な
スコープ」に、皆がだまされ続けていたわけで
ある。それを、「静的スコープ」でLISPが作れ
るということを身を持って証明したのが、
Schemeの開発であった。Schemeの開発は様々
な要素から成り立っている。まず、静的スコー
プの方がλ算術の理論との整合性がよいという
認識がある。そのような認識を得るには、もち
ろん、λ算術を知らなくてはならないけれども、
それほど数学的なことまで知る必要はない。ま
た、いくら理論との整合性がよくても効率よく
実現できなければどうしようもないから、静的
スコープを効率よく実現するための技術が必要
となる。さらに、いくら理論との整合性がよく
実現の効率がよいとしても、プログラミング言
語として、わかりやすく使い易いものでなけれ
ばならない。そのためには、シンタックスを工
夫したり、環境を整えたりしなくてはならない。
以上のような様々な問題を克服して初めて、静
的スコープが現実のものとなり、Schemeが本
物のプログラミング言語となったのである。Posted on February 4, 2012 with 2 notes
Source: nicosia.is.s.u-tokyo.ac.jp
