宮城大学大学院 情報デザイン特別講義2012 「プログラマーの仕事」#3 小飼弾先生 #myu2012

小泉勝志郎 @koi_zoom1

#myu2012 弾さん：SafeとSecureの違い2。SecureにすることでUnsafeになることもある。例えば「パスワードを長くしてSecureにしました→間違えやすくなってUnsafe」など

小泉勝志郎 @koi_zoom1

#myu2012 弾さん：事件が起きたら鍵を増やせとやる前に何故事件が起きたのかを考える。世界が何故ほとんどの人は明白な悪意の対象にはならない。恨みを買わないというのはそれだけでSecureになる

PAPI𝕏 (老害) @__papix__

#myu2012 弾さんの講演, 話題についていくだけで精一杯だけど楽しい.

と @tototti

#myu2012 宮城大学特別講義・小飼弾先生、そろそろ2時間目始まります

yuuhic @yuuhic

今日のタイムテーブル。Perl? #myu2012 http://t.co/nQpGpeTZ

拡大

小泉勝志郎 @koi_zoom1

#myu2012 弾さん：2限目は、そもそも何故プログラムというものが必要なのか？

PAPI𝕏 (老害) @__papix__

#myu2012 アレでOKやったんかな?

小泉勝志郎 @koi_zoom1

#myu2012 弾さん：1から100までの数字を書くときにそのまま書いてはマス目は100個必要となる。これを10個ですませるにはどうするか？Perlでは「1..100」とかけマス目は6つですむ

K @101_bit

#myu2012 Ustにもなさそう。気になるなあ。弾さんのFREEex化を願うのは私だけではないはず…(=ﾟωﾟ)

と @tototti

#myu2012 プログラムを簡単にかける言語 → 言語が複雑になる。対偶は、言語が簡単 → プログラムが簡単に書けない？ ということを示していきたい・・・ということで「Brainf**k」というプログラムの話題。

小泉勝志郎 @koi_zoom1

#myu2012 弾さん：プログラム言語は「あるものを簡潔に書きたい」の簡潔にする考え方の違いがいろいろな言語が生まれている一因

yuuhic @yuuhic

Brainf*ckを例に出そうとした先生が見たことある人が多すぎて困るw忘れるようにとのことw #myu2012

小泉勝志郎 @koi_zoom1

#myu2012 弾さん：プログラムを簡潔に書けると言語は複雑になるという傾向がある。これの対偶は言語が簡単になればプログラムは複雑になる。それを本当かを見てみるために「Brainfuck」で実演

と @tototti

#myu2012 fizbuz問題をBrainfuckで書いたコードと、Rubyで書いた問題の比較。命令が8個しか無いBrainfuckのコードの方が、Rubyのコードよりも短くなっている。。。

川名まこと @carna

小飼弾さんの特別講義今日だったのか。行きたかったな。

小泉勝志郎 @koi_zoom1

#myu2012 弾さん：同じ処理をBrainfuckで実装したものとRubyで実装したものでは+-<>[]と記号が並ぶBrainfuckと比較的人間の言葉に近いRubyではRubyの方が読みやすい。簡単な言語ほどプログラムは長くなる

と @tototti

#myu2012 コルモゴロフ複雑性 http://t.co/tFgijqS8

と @tototti

#myu2012 「Hello, world!」はデータか？プログラムか？ → PHPやHaskellだと「Hello, world!」はプログラムとして有効

小泉勝志郎 @koi_zoom1

#myu2012 弾さん：「Hello,world!」とただ書かれていたらそれはデータかプログラムか？会場ではデータという意見が多かったが、PHPであればこの記述だとこのまま出力される。何がデータで何がプログラムかは言語が決める！

と @tototti

#myu2012 世の中のプログラム言語は、プログラムの中にデータを埋め込む感じ。では逆に、あるデータをプログラムとして表現することは可能か？

と @tototti

#myu2012 data→programはチューリングマシン。program→dataはChurch calculus(lambda calculus) http://t.co/ZnccbCZK

小泉勝志郎 @koi_zoom1

#myu2012 弾さん：データをプログラムに埋め込むのではなく、データをプログラムで表現することは可能か。ソースコードと言うデータがプログラムになるのが言語とするとその逆は可能かということ

小泉勝志郎 @koi_zoom1

#myu2012 弾さん：data→プログラムはチューリングマシン、プログラム→dataはChurch(Lambda) calculus。Church calculusではプログラムを入れ子にすることで数を表現するという形でプログラムでdataを表している