『森元総理の長男 森祐喜46歳が死去 最後は薬物で終わる』
六道輪廻サバイバル日記 Fact is stranger than fiction. 事実は小説より奇なり 森喜朗元総理大臣の長男で 元石川県議会議員の森祐喜（46）が、 25日の夜に亡くなりました。 森祐喜は、今年5月下旬に 体調を崩して入院していましたが、 25日午後11時22分、急性すい炎による 多臓器不全のため亡くなったということ。 森祐喜は、2006年3月の 石川県議会議員選挙で初当選し、 建設委員長などを務めた。 しかし、2期目の途中だった去年8月、 道路交通法違反の酒気帯び運転の疑いで 逮捕され、議員を辞職。 あの時、いくら飲み過ぎとはいえ、 朝10時に酩酊状態とは不自然。 このころも薬物中毒だったようだ また事件の際、森祐喜は 車から降りる際にも足下がよろめき、 ろれつが回らない状態だったのに、 現行犯逮捕では無かった。 その裏には『手打ち』があったのだ。 その『手打ち』と
Haskell、Scala、ML、Scheme：あなたが次に学ぶ関数型言語 | POSTD
(編注：2016/7/27、頂いたフィードバックを元に記事を修正いたしました。) 学生たちから、次に学ぶ言語はどれがいいのかとよく聞かれます。IT業界で働きたい人にお薦めするのは、現在盛んに使われている言語です。C++、Java、C#はもちろん、Python、Ruby、PHP、Perlなども挙げられるでしょう。 一方、向学のためという人や、学術研究や起業に関心がある人にとって、次の言語を選ぶ基準となるのは、就職に有利かではなく言語の表現力でしょう。学術研究や起業活動を行うには、プログラマとしての能力を何倍にも高める必要があります。そして、（おそらく）確立されたコードベースを扱った経験はないでしょうから、手元にあるタスクにとって最適な言語を自由に選ぶことができます。 この記事では、勉強に適したHaskell、Scala、ML、Schemeという4つの言語を、私の好きな特徴や参考資料のリストと
三浦弘行九段の竜王戦出場停止について
どうも、id:BigHopeClasicです。 本当はこんな内容、自分ではてなブログに投稿したほうが見た目もきれいになるしいいんでしょうが、持続できないブログを作るのも気後れするので、増田を使います。 さて、掲題の件、はびこりそうな誤解がいくつかありそうなのが将棋ファンとして気になったので書こうと思ったものです。 カンニングはあったの？本稿投稿時段階での報道を元にする限りでは、 「日本将棋連盟が三浦九段に対して、カンニングをしていないという悪魔の証明を求めた」 としか解釈できません。つまり、将棋連盟は三浦九段に対して、決定的な物証などを何一つ押さえないまま 「疑われているので潔白を証明しろ」 というに等しい要求を投げかけたことになります。 この点については続報を待つ必要がありますが、あくまでも現段階での私個人の感想としては 「下策中の下策、愚の骨頂」 というコメントに尽きます。 なるほど確
実世界を扱う依存型プログラミングのたぶん基本～外界から安全な世界までの道 - ぼくのぬまち 出張版
依存型ならさらに安全にプログラミングできちまうんだ！と言ったところで，「無料で遊べちまうんだ！」とか「3000円払えば無料で10連まわせる」みたいな感があり， 依存型使わない場合とどう違ってくるのか 入出力から扱い始めるとどういった形のプログラムになるのか 大概どういう流れでプログラミングすることになるのか とか，そういった話を通しではそんなに見ないかなーという気がしたので，ごく基本的なものを一通りまとめておこうと思って． まず，説明に使う問題設定について．行列演算，特に行列積を考えてみる．ただし，行列の形(行はいくつ，列はいくつ)についてはプログラムの外から入力によって決定するような状況とする．これ自体は普通の問題設定だと思われる． 依存型を使わなければ特にどうということも無い．恐らく行列の型を次のように定義し， -- 形のみ持っておき，中身の数値については簡単のため省略 data Ma
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
日経電子版アプリ 穴のあいたバケツ開発
http://blog.tweag.io/posts/2016-10-17-inline-java.html
