「wraith13」さんのコメント

トップ > 「wraith13」さんのコメント

coq などの証明の有効範囲に関する疑問

[IT・Web] [プログラミング] 7ヶ月前 477 view 0 3
実際には coq や証明のことを少なくとも私は全然知らない上での疑問です。識者のツッコミ歓迎。続きを読む

プロフィール

C++馬鹿。明後日な妄言をいろいろつぶやきます、あんまり真に受けないでください。電波さんなので注意。頭のおかしい人が大好きです、あなたの狂気を喰わせてください！

wraith13 link twitter rss

	EICO DIET2 ―バスト2カップUPとウエスト-7センチを実現する4Weeks
	はじめてのパソコンで困った!これで解決―Windows7/Vista対応 (PRIME MAST..
	快楽亭ブラック破廉恥 [DVD]
	Google+ Hacks！
	しろくまカフェ (フラワーコミックススペシャル)