積分定数 @sekibunnteisuu

15年7月17日

@t2o_yama　 #掛算　この手のことは、やっていくうちにそれ自体が自己目的化してしまって、算数教育のアラを探すことが楽しみになってしまったりするわけです。実態を把握するためにそのような段階も必要とは思うものですが、度が過ぎているという指摘が外からなされるのはありがたいです。

タグ： 掛算

posted at 01:41:02

非公開

タグ：

posted at xx:xx:xx

Masaki Hara @qnighy

15年7月17日

そういえばコンパイラによる最適化で使われる技術って、到達可能性とかのプログラムの挙動を調べたうえで動作を変えないように書き換えるものだから、プログラム検証と共通する技術も多いらしい

タグ：

posted at 11:33:36

銀杏(ぎんなん)@将棋ライター @ginnan81

15年7月17日

「思い付き」で快勝：加藤一二三のひふみん伝説60年 - 47NEWS（よんななニュース） www.47news.jp/feature/hifumi... #shogi
昨年の順位戦から。「端からは思い付きで発言しているかに見えて、実のところ巧みに準備された言葉であることも多い」と加藤九段。

タグ： shogi

posted at 11:48:21

のらんぶる @nolimbre

15年7月17日

（ふたりっきりの TL を邪魔しては悪い……） #ふたりっきりのTLという概念

タグ： ふたりっきりのTLという概念

posted at 14:09:43

非公開

タグ：

posted at xx:xx:xx

くるる @kururu_goedel

15年7月17日

これで一番面白いのは、声優たちがバカウケした後に、落ち着いてキャラの声に戻ってみると、そのギャップがかなりあるということですね。何気なく喋っているようなときでも、これだけ演技しているんだなぁと。 #てさぐれ

タグ： てさぐれ

posted at 14:41:08

空飛ぶムート @mutoreimu

15年7月17日

天龍やるじゃん これでもう少しおっぱいが小さければな

タグ：

posted at 19:49:47

Masaki Hara @qnighy

15年7月17日

もし仮に証明支援系の応用範囲がそれほど広がらなかったとしても、少なくとも知育おもちゃとしては最高レベルに有用だと思う

タグ：

posted at 19:52:24

空飛ぶムート @mutoreimu

15年7月17日

人間、自分に降り掛かってこない、もしくは全くリアリティの感じられない不幸についてはどこまでも冷淡になれるものである この場合実際にそうであるかとはあまり関係がないとされている

タグ：

posted at 20:08:33

ムミ @sprtfrst

15年7月17日

May the fav be with you...

タグ：

posted at 20:19:26

のらんぶる @nolimbre

15年7月17日

【超速報】味は文句なく旨いけど量が少なめなのが玉に瑕だという印象だったカレー屋さん，実はご飯もルーもおかわりし放題だったことが判明．

タグ：

posted at 21:49:13

非公開

タグ：

posted at xx:xx:xx

MarriageTheorem @MarriageTheorem

15年7月17日

「プレゼントにゼルダのこのゲームをあげる」「いらないわ、こっちのムジュラをちょうだい」（時オカ蹴る少女

タグ：

posted at 23:04:58