シャミノ @syamino

●プログラミング言語のことしか考えていない●形式手法，プログラム合成，プログラム変換，圏論，計算モデル，宣言型プログラミング，高階論理プログラミング●セプキャン2011プログラミング言語クラス参加者

http://d.hatena.ne.jp/syamino/

フォローする

数学 プログラミング
1

いま話題のタグ

竹田くん5 青山剛昌62 水曜日のダウンタウン124 ホラー1585 おがくず153 光る君へ64 仕事3326 志摩スペイン村26 お金675 岸田メル63 ファンタジー1660 同人1992 ねこ2433 ゲゲゲの鬼太郎197 ゲゲゲの謎16