merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング(書く)、アニメ(みる)、将棋(指す)、数学・漫画(ちょっとだけ好きだけど最近やってない)、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
Favolog ホーム
» @merom686
» 2015年07月17日
並び順 : 新→古 | 古→新
2015年07月17日(金)
![](https://abs.twimg.com/sticky/default_profile_images/default_profile_0_normal.png)
非公開
タグ:
posted at xx:xx:xx
![](https://pbs.twimg.com/profile_images/780756002803023876/gl3s_zWp_normal.jpg)
そういえばコンパイラによる最適化で使われる技術って、到達可能性とかのプログラムの挙動を調べたうえで動作を変えないように書き換えるものだから、プログラム検証と共通する技術も多いらしい
タグ:
posted at 11:33:36
![](https://pbs.twimg.com/profile_images/994744954177044480/tJBj4lVC_normal.jpg)
「思い付き」で快勝:加藤一二三のひふみん伝説60年 - 47NEWS(よんななニュース) www.47news.jp/feature/hifumi... #shogi
昨年の順位戦から。「端からは思い付きで発言しているかに見えて、実のところ巧みに準備された言葉であることも多い」と加藤九段。
タグ: shogi
posted at 11:48:21
![](https://pbs.twimg.com/profile_images/1034094018701881346/pqxzldeo_normal.jpg)
![](https://abs.twimg.com/sticky/default_profile_images/default_profile_0_normal.png)
非公開
タグ:
posted at xx:xx:xx
![](https://pbs.twimg.com/profile_images/1656879898844176385/jEXRf3s4_normal.jpg)
![](https://pbs.twimg.com/profile_images/780756002803023876/gl3s_zWp_normal.jpg)
![](https://pbs.twimg.com/profile_images/1246435842706395141/faA9cJTO_normal.jpg)
人間、自分に降り掛かってこない、もしくは全くリアリティの感じられない不幸についてはどこまでも冷淡になれるものである この場合実際にそうであるかとはあまり関係がないとされている
タグ:
posted at 20:08:33
![](https://pbs.twimg.com/profile_images/1034094018701881346/pqxzldeo_normal.jpg)
![](https://abs.twimg.com/sticky/default_profile_images/default_profile_0_normal.png)
非公開
タグ:
posted at xx:xx:xx
![](https://pbs.twimg.com/profile_images/583466834155806720/x9LkbplX_normal.jpg)
MarriageTheorem @MarriageTheorem
「プレゼントにゼルダのこのゲームをあげる」「いらないわ、こっちのムジュラをちょうだい」(時オカ蹴る少女
タグ:
posted at 23:04:58
スポンサーリンク