47NEWS（よんななニュース）
「それって陰謀論じゃないですか？」闇の国家「ディープステート」を信じる著名人一人一人に会ってみたら…どうなった？
1日50本くらいタバコを吸っていた人がタバコをやめると色んな変化が襲ってくる
コレまでやめたい思ってもやめられなかったタバコですが、ついに禁煙を始める事が出来ました。 実は、タバコが吸いたいと思ったときに ある事をするだけで、タバコが辞められるんです！ でも、、、 問題はやめた後。 いやはや、ここまで体調に変化があるとは思ってなかったわけで、正直ショックです。 なんていうか、物理的に、短期間で大きな変化が襲ってくるんですよね。 今回はそんなタバコについてのお話です。 というか、タバコをやめるとどうなるのか的な、単なる体験談に近いです。 タバコをやめようと思った動機 今回、タバコをやめようと思った最大の理由は値上げの決定です。 コレに尽きます。 一箱100円の値上げってアホですか。 私は1日最低40本、たまに50本吸うようなスペックです。 健康の為とか、将来の為とかそんな問題ではなくて、1日600～900円かかってたものが800～1200円になるって言うもんだからカッ
iTunes U: アメリカの有名な大学のコンテンツを無料で入手｜[結] 2010年1月 - 結城浩の日記
目次 2010年1月31日 - 日曜日 / 2010年1月28日 - 『科学』に『和算書「算法少女」を読む』の書評を書きます / 2010年1月27日 - 『数学セミナー』に書籍紹介の記事を書きます / 2010年1月25日 - くるるさんの書評（ネタバレ版） / 2010年1月24日 - 英語 / 2010年1月23日 - √xの定義についての対話 / 2010年1月22日 - 金曜日 / 2010年1月19日 - 感謝 / 2010年1月18日 - Twitterのリストで見る自分の属性 / 2010年1月17日 - 賛美 / 2010年1月15日 - Twitter / 結城浩bot / 2010年1月11日 - 私信 / 2010年1月10日 - 日曜日 / 2010年1月7日 - ラジオ番組「わたしの図書室」で、結城が訳した「幸福の王子」が朗読されます / 数学の先生から『数学ガ
迷路の試験問題を解いてみた - にわとり小屋でのプログラミング
参考：人材獲得作戦・４ 試験問題ほか: 人生を書き換える者すらいた。 Lv4に評価されるためには、最短性の完全なチェックが必要だったのでCoqで証明してみた。 まず、accessiblesという関数を定義し、以下の性質を証明した。 ここでplengthはパスの長さを計る関数で、Path x pはpがxを起点としたパスであるという述語。endofはパスの終点を求める関数。 Fixpoint accessibles (start : node) (len : nat) : list path := match len with | O => (PUnit start) :: nil | S n' => div_equiv path_equiv_dec @@ (flat_map expand @@ accessibles start n') end. この関数はstartから始まってlenの長さ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://s.twimg.com/images/whale_error.gif