「syamino」さんのまとめ

トップ > 「syamino」さんのまとめ

CPS変換と二重否定のカリーハワード対応の話

[科学・教養] [数学] 3ヶ月前 717 view 0 8
@syaminoが以下の２つのページを読んだところからスタート。ただしCalculus of constructionsの方は全然理解できていない。『CPS（継続渡し方式）変換をJavaScriptで説明してみるべ、ナーニ.. 続きを読む
「CやC++の速度面における優位性は今後なくなる」という話

[IT・Web] [プログラミング] 10ヶ月前 6664 view 2 101
最適化には上限が存在する続きを読む
無向グラフで有向グラフを表現できるのか？

[科学・教養] 11ヶ月前 708 view 0 3
肯定的に解決続きを読む

プロフィール

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

syamino link twitter rss

	タカギメタルシャワーLRコック付 G253
	カーペンターズ~40/40 ベスト・セレクション
	月岡芳年の世界
	ロッテ大人のトッポ　北海道練乳仕立てのミルクアイス 2袋入 ×10個
	残念な人の思考法(日経プレミアシリーズ)