merom686(@merom686)/2019年04月22日

【サービス終了のお知らせ】
2025年4月20日(日)の20時をもちまして、favologのサービスを全て終了することとなりました。
「いいね」のログデータについては、PC版でログイン後の管理画面よりダウンロードすることが可能です。

merom686

@merom686

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

Favolog ホーム » @merom686 » 2019年04月22日

« 次の日| 前の日 »

並び順 : 新→古 | 古→新

2019年04月22日(月)

タッパーをオーブンで焼かない @DEGwer3456

19年4月22日

「正方形は長方形である」だとさすがにみんな間違えなさそうだけど「停止性問題は NP 困難である」とかだと割とみんな間違えそう

タグ：

posted at 00:09:31

非公開

タグ：

posted at xx:xx:xx

結城浩 / Hiroshi Yuki @hyuki

19年4月22日

@y_bonten 中学校の音楽の時間に「長調は楽しい感じ、短調は悲しい感じ」と習った直後、先生が長調の曲を極めて悲しげに弾いてみせたのを聞き、たいへん混乱したことを思い出しました。

タグ：

posted at 12:15:15

ぼんてんぴょん(Bontenpøn) @y_bonten

19年4月22日

それには異論ないんですが、「この命題は、もし論理式で書くとこうなる」という理解に際して、せっかく量化記号があるのに、「ある」とか「任意」といった日本語を「記号のフリガナ」のように固定対応させるのも、それはそれで融通が利かなくなるんじゃないかと。twitter.com/kadamasaru/sta...

タグ：

posted at 12:51:02