Redundanz

僕の言葉は、人と話をするためにあるんじゃない。

2016-06-01から1ヶ月間の記事一覧

0618

Chainer-SegNetを実装してみた。max_pooling_2dのbackward_cpuを参考にして書いたupsamplingがやたら遅かったので、ちょっと頑張って高速化。1桁くらいは速くなったけど、まだやりようはありそう。副残物としてpoolingのbackward_cpuも同じくらい高速化され…

0613

どうにも存在論は好きになれない。それはただの説得と辻褄合わせのゲームだ、と言いたい気持ちがある。もちろんそれは彼らだって承知しているのだろう、気に喰わないのはまさにその点なのだ。「せっかく生まれたのだから(たとえ無意味であろうと)人生楽しま…

0608

昨夜は抜き打ちテストのパラドックスに関する本質的な説明を見つけた気がして衝動的に文章を書いてしまったけれども、落ち着いて考えてみるとまったくそんなことはなかった。自分の衝動性については十分に自覚しているつもりだけど、そんな自覚も些細なきっ…

0607

ねこせんさんがTwitterで言及していたのにつられて、抜き打ちテストのパラドックスについて少し考えた。結局のところここにおける生徒の仮定とは「木曜日までに抜き打ちテストが行われないことを”予言できる”ならば、金曜にテストが行われることがわかる」と…