「wraith13」さんのまとめ

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

【緩募】とっつき難そうな SKK のユーザーになった経緯。

[IT・Web] [パソコン] 6ヶ月前 612 view 0 4
coq などの証明の有効範囲に関する疑問

[IT・Web] [プログラミング] 8ヶ月前 480 view 0 3
実際には coq や証明のことを少なくとも私は全然知らない上での疑問です。識者のツッコミ歓迎。続きを読む
ロリコン伯爵と群れ集う混沌(ロリコン)

[ログ・日記] 16ヶ月前 551 view 0 0
ロリコン伯爵に関わったら群れ集う混沌(ロリコン)にMPドレインされてしまった話続きを読む

プロフィール

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

wraith13 link twitter rss