merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング(書く)、アニメ(みる)、将棋(指す)、数学・漫画(ちょっとだけ好きだけど最近やってない)、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
Favolog ホーム
» @merom686
» 2019年03月10日
並び順 : 新→古 | 古→新
2019年03月10日(日)

「理論的に無限ループか否かはループによる迷惑動作を明確にモデル化できてるとはあまり思わない」はこれ
twitter.com/qnighy/status/...
タグ:
posted at 14:24:36

任意のプログラムに対してそれが停止するか判定するプログラムは書けないけれど,個々のプログラムに対しては,開発者が停止することの証明をつけて合法性を確認することはできるし,警察が停止しないことの証明をして違法であると言うこともできるのではないの.
twitter.com/ichiro_satoh/s...
タグ:
posted at 13:42:13

非公開
タグ:
posted at xx:xx:xx


非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx

薬について「飲み始めると止められない」を理由として嫌う人、いらっしゃいますね。実際、完治するわけでなく飲み続けなくてはいけない、そんな疾病と薬は存在します。でもね、目が悪くなってメガネやコンタクトレンズを使い始めても、視力は回復しないし、死ぬまで使い続けるじゃないですか。
タグ:
posted at 02:51:39
スポンサーリンク