昨日発生していたサイトログインできない不具合は修正されております（詳細はこちら）

シャミノ @syamino

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

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

フォローする

プログラミング テクノロジー 科学
1

いま話題のタグ

校歌28 メタバース211 サイゼリヤ324 魔改造の夜15 刀剣乱舞2617 デザインの敗北56 ドカ食いダイスキ!もちづきさん8 睡眠293 もぎ7 社会17140 溶接29 デカ女4 医療9248 反AI55 芹沢達也7