問十二、夜空の青を微分せよ。街の明りは無視してもよい個人的なツイートまとめ。 ※2015/9/17 本筋からは微妙にずれますが、この作品に対する批評についてのまとめを追加しました。 ※2015/9/18 恋愛的な解釈についてやその他の感想、短歌の紹介などを追加しました。
ＪＲ放火事件「大量に電力消費 ＪＲ許せず」供述 NHKニュース
東京都内のＪＲの施設などで相次いだ放火事件で、品川区の変電所の事件に関わったとして逮捕された４２歳の男が、動機について「大量に電力を消費するＪＲが許せなかった」などと供述していることが警視庁への取材で分かりました。 警視庁はさらに動機を調べるとともに、男が一連の放火事件に関わったとみて捜査しています。 警視庁は、防犯カメラの捜査などから、東京・武蔵野市に住む自称、ミュージシャンの野田伊佐也容疑者（４２）が品川区の変電所の事件に関わった疑いが強まったとして１５日夜、威力業務妨害の疑いで逮捕しました。 警視庁によりますと、これまでの調べに対し、野田容疑者は「やったことはやった。業務妨害とは思っていない」と供述しているということですが、その後の調べに対し、動機について「大量の電力を消費するＪＲが許せなかった」などと供述していることが警視庁への取材で分かりました。また、変電所以外にも複数の放火に関
Coqで命題論理の標準形 - にわとり小屋でのプログラミング
この記事はTppMark11の問題をCoqでやってみたという内容である。 問題はこちら: docs.google.com 命題論理式と同値であることの定義 命題論理式の定義 Inductive Term := | Var(v : Var.T) | Neg(t : Term) | And(t1: Term)(t2: Term) | Or(t1: Term)(t2: Term) | Impl(t1: Term)(t2: Term) | TRUE | FALSE . 同値であることの定義 変数環境を表すctxを Var.T -> bool の関数で表現し、命題論理式のevalを次で定義した。 Fixpoint eval ctx t : bool := match t with | Var v => ctx v | Neg t => negb (eval ctx t) | And t1 t2 =>
Yahoo!ニュース
吉瀬美智子、人気芸人との“結婚報告”に反響「ま、まさか」 話題の親密オフショットがそのままドラマに「伏線回収致しました！」
妻子持ちに恋をするのは合理的なのではないか
23歳。大学院生。30代後半の大学院教授のことが好きで好きでたまらない。 教授は結婚して子どももいる。Instagramには奥さんと子どもの写真が日々あげられ、 幸せそうな暮らしが垣間見える。 それを見て諦めるどころか、逆に火がつく。なんというか、本能が疼く。 だって、結婚している、子どもがいるということは、 結婚という契約に耐えうる人間であり、生殖能力がある人間であることの証左であるから。 （年齢によるが）未婚である時点で「結婚不適合者かも」と思うし、 既婚でも子どもがいなければ「生殖能力がないのかも」と思う。 それって自然なことなんじゃないだろうか。 バツイチはダメ。結婚という契約を円満に継続できない、というマイナスになる。 初婚で子どもがいる人、しかも、結婚したて、子どもできたての男に 異常に異性を感じてしまう。病気なんだろうか。 明日、講義がある。講義のあとにこの主張をぶつけてみよ
スター付ける人達って虫だと思うとしっくりくる。
本気出して下書きしてちょうど100字にまとめて投稿するまで20分くらいかかったのに一個も星付かなかった。頭の悪い勧善懲悪的なブコメに100以上スターが付いていた。それを見て確信した。お前らって、頭悪いのな。全然俺のブコメ理解できてない。たぶん、スター付ける人たちって虫みたいに脊髄反射で付けてるだけなんだと思う。内容は理解してない。自分の敵か味方かだけで判断してる。可哀想だけど、虫だと考えると納得がいった。虫に啓蒙してもしゃーないし、悪いことしたなあ。ツイートする
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「国民をバカにしないでください」 SEALDs奥田愛基さんが国会で要望（全文） - 弁護士ドットコムニュース