プログラムの正しさは証明できる。定理証明へ踏み出すための最高のガイドブック Daniel P. Friedman, Carl Eastlund 著、中野圭介 監訳 240ページ A5判 ISBN：978-4-908686-02-3 2017年10月23日 第1版第1刷 発売 あるプログラムが、考えられるあらゆる入力に対して誤った動作を引き起さないことは、テストを書いても確かめられません。それを確かめるには、公理と式の等価な書き換えだけで恒真を導いたり、再帰的なプログラムの構造に照した帰納法による証明が必要です。 なんだか難しそうに聞こえるかもしれませんが、その世界観を丁寧にときほぐして解説したのが、本書の原書にあたる "The Little Prover" です。

車道左側に自転車レーンやナビライン、ピクトグラムが設置されはじめた日本。ところが、それらを路上駐車がふさいでしまうことも珍しくない。一方、米国ニューヨーク市では駐車需要を踏まえた「逆転の発想」で自転車の走行空間を確保している。 宮田浩介さんは昨年秋に訪れたニューヨーク市で、車道の中央側に駐車帯を設ける自転車レーンを取材した（上記写真）。マンハッタン中心部の一方通行の大通りが車道、駐車スペース、ドア開閉などを考慮したスペース、自転車通行空間、歩道の順に区切られている。 現地では「parking-protected bike lane」と呼ばれる。車道の中央側に駐車スペースを設け、自転車レーンに路上駐車や走行中のクルマが入るのを防ぐしくみで、「クルマは車道の端に駐車するもの」という従来の常識をくつがえす手法だ。市の2011年の調査では自転車の通行量が1.5倍に増えたことに加え、自転車の歩道通行

[Simon Wren-Lewis, “The lesson monetary policy needs to learn,” Mainly Macro, October 17, 2017] 先日，ピーターソン研究所で開かれたカンファレンス「マクロ経済政策再考」について，当然ポストを書かなくてはと思っていたけれど，最近になって，その仕事は Martin Sandbu にまかせる方が効率がいいのに気づいた．たいていの場合には意見が一致しているし，私より Sandbu の方がうまくやってくれてる．おかげで，意見が合わないめずらしい論点や，さらに議論を展開させたい論点にしぼって文章を書ける． Martin が書いた昨日のコラムについて，異論をはさみたい点はひとつだけある．私見では，「大きな景気後退がおきたら（そして金利がゼロ下限にいきついたら）中央銀行は一時的な物価水準目標に復帰してはどうか」と

くまくら・まさなが／1967年1月東京生まれ。東京大学卒、ケンブリッジ大学Ph.D.（経済学）。アジア経済研究所、大阪市立大学などを経て、2017年4月より明治学院大学国際学部教授。著書に『国際日本経済論－グローバル化と国際比較』昭和堂（2015年）など。 砂上の楼閣　日本銀行 「脱デフレ」を掲げ、日本銀行が「異次元緩和」に踏み出して４年半余り。だが、「２％物価目標」は達成されないままで、金融緩和をやめるにやめられない状況が続く。日銀はどこに向かうのか。 バックナンバー一覧 アベノミクスを担う日銀の異次元緩和が始まって4年半がたつが、「2％物価目標」は実現しないまま、さまざまな「副作用」が目立ち始めた。日銀が大量の国債などを買い取り、資金をばらまけば「インフレ期待」が生まれ、物価が上がるというシナリオに成算があったわけでもなかった。後戻りできないまま、泥沼に入り込んだのは、太平洋戦争当時の

●「業界や消費者に　正しい知識を広げたい」 食品添加物の問題を解説した本紙生活面の連載「素朴な疑問－食品の裏側から」（２０１４年８月～１６年８月）の筆者で食品ジャーナリストの安部司さん（６５）＝北九州市＝が添加物や加工食品の知識があることを認定する資格を創設、養成講座を始めた。「加工食品診断士」という任意の資格だが、外食・食品業界などで活躍できる食のスペシャリストの育成を目指し、民間の食の知識の底上げにつなげたい考えだ。 東京都内で月１回開く講座は全８回で、修了後の試験に合格して資格を得られる。うち前半４回だけを受ける基礎講座も用意した。 前半の基礎は、添加物の使用目的、食品表示の問題、基礎調味料についてなど１回５～６時間をかけて体系的に学ぶ。後半の４回は、市販の着色料を使ったハムと無着色のものを比較するなど、製造に関わるより専門的な内容になる。 ６月開講の講座には１期生として計約１３０人

論点を整理しよう。 子宮頸がんは主にウイルス感染によって引き起こされる。ならばワクチン接種によって、ウイルスへの免疫を作れば予防が可能なのではないか。研究は進み、ワクチンは完成した。日本でも2013年に小学6年から高校1年までの女子を対象にした定期接種が始まった。 しかし、いま接種は事実上、進んでいない。ワクチン接種の副作用によって、体調不良を訴える児童、生徒が続出したためだ。一部は国や製薬会社に損害賠償を求める訴訟にも発展した。 一方で、多くの専門家は、訴えられる副作用の症状（例えば激しいけいれんや計算ができなくなった）の中には、ワクチン接種によって起きたとは考えにくいものが含まれているとする。 そして、国外からはWHO（世界保健機構）を中心に、予防接種が進まないことで、がん予防の機会そのものが失われていることを問題視する声があがる。 2013年3月、メディアの論調が変わった「副作用」問

科学者は間違える。野口英世は黄熱病菌を見つけたと思いこんだまま、その黄熱病に倒れた。病原体は菌でなくウイルスで、当時の顕微鏡では見えるはずがなかったのに「見えて」しまったのだという。火星の「運河」をはじめ、そういう例は数多い。 個人でなく科学界全体が間違えた例もある。１９６６年に旧ソ連の科学者が「水の特殊な状態」として提唱した「ポリウオーター」は世界で認められ、多くの関連論文も出た。しかし徐々に反論が増え、７年後に破棄される。関連特許で大もうけという欲が、長期化した原因とも言われている。 「科学絶対神話」という言葉が、科学を絶対と思い込む行いへの皮肉だとしたら、それは正しい。しかし「科学の絶対性」を科学者が信じているという意味なら、それこそありえない「神話」だ。「正しさは確率であり、絶対はない」と骨身にしみているのが科学者。だから科学的になるほど「絶対」という言葉を使いたがらない。