初めてまともに携わったシステムはNTT研究所で作られていたCBoCといわれるものであった。内容について詳しくは述べないが、国内では割と先進的でありながらとにかくNTTの事業会社（割と稼いでいる）で使えるものを作ろうというものであった。この時期は研究所は研究だけしていればよいというものではなく事業貢献が求められており、論文になるような研究を生み出すだけでなくそれをどうやってビジネスにするかが重要視されていたのだと思う。このとき作ったものは実際に事業会社で使われ、退職の前後には年間数万円が口座に振り込まれるようになっていた。なお収入なので税金の扱いを間違えないように。しかし特許といえばガッポガポ…というイメージだがそんなに当たることはない。わたしが携わったそのソフトウェアは確かに使われていたが、事業会社のビジネスの中核を支えていくようなものにはならなかった。ならなかったのでメンテナンスフェーズ

この記事は、2019年12月1日に開催されたPHPカンファレンスでの「MVCとはなにか」という題の登壇内容の書き起こしです。スライドはこちらです。 1. はじめに MVCの悪かった点は、わたしたちがどう実装したかという点だ。それはあまりに機械的だった。 https://news.ycombinator.com/item?id=8841428 ある人がアラン・ケイに対して「MVCについてどう思うか」という質問をして、それに対するメールでの回答がHacker Newsというサイトにのっていました。前提をお話すると、MVCというアイデアは、だいたい40年以上まえにパロアルト研究所というところで、アラン・ケイがパーソナルコンピュータの開発をしていたときに、客員研究員としてトリグヴェ・リーンスカウクさんという人が訪れて、そのとき他の研究所のメンバーとも話あって作ったアイデアがMVCになります。 MV

ギャング化する外国籍の子供たち 今年9月、文部科学省は、日本に住む外国籍の子供のうち、15.8%に当たる約2万人が不就学になっている可能性があると発表した。不就学とは、不登校と異なり、学校に籍がない状態を示す。 日本には、工場や建設業の仕事を求めて来日してくる外国人が年々増加しており、その中には子供を連れてくるケースも少なくない。 こうした子供たちは家庭環境や日本語の壁にぶつかり、学校へ入学しないか、入学しても途中で辞めてしまうことがある。外国人は「義務教育」ではないので、学校を辞めて社会とのつながりが断ち切れるということが起きてしまうのだ。 彼らは学校へ行かなくなることで社会福祉や地域とつながりがなくなり、漂流していってしまうことが多い。児童労働に取り込まれたり、非行化してギャングとなって事件を起こしたりするケースもある。 日本が労働力を外国人に頼らざるを得えない状況の中で、こうした子供

スマートフォンの登場で厳しい状況にあるカメラ・プリンター市場。そんななか、キヤノンが2018年に発売したスマートフォン専用のミニフォトプリンター「iNSPiC（インスピック）」シリーズが順調に売り上げを伸ばしている。19年6月にはカメラ機能と印刷機能を備えた新モデルが登場した。 iNSPiCシリーズの最新モデルではカメラ機能が追加され、インスタントカメラのように撮影したその場で印刷ができるようになった。キヤノンオンラインショップでの価格は、スマホに対応した「iNSPiC ZV-123」が税込み1万9668円、スマホ非対応の「iNSPiC CV-123」が同1万4168円（どちらも19年11月29日現在） 販売台数は当初計画の5割増し、女性に刺さった理由は…… 2019年6月6日にキヤノンマーケティングジャパンから発売された「iNSPiC ZV-123」、同7月25日発売の「iNSPiC C

July Tech Festa 2019 で使用したスライドです。 近年、テストを書く文化は広く普及しており、開発フローにおいて自動テストを組み込むことはもはや常識となりました。しかしよく考えてみると、有限個のテストケースが保証しているのは、所詮「特定の有限個の入力に対する出力」にしか過ぎません。では「あり得る全ての入力」に対してプログラムの性質を保証することは果たして可能でしょうか？ この問いに対する答えのひとつが「定理証明」と呼ばれる手法です。定理証明では、数学的な「証明」をプログラム上でエンコードすることにより、真に「全ての入力」を扱うことができます。本セッションではこの定理証明を取り上げ、従来のテストとの考え方の違いや具体的な適用方法について、サンプルを交えつつ解説します。 イベント概要：https://2019.techfesta.jp/speakers#A10

兵庫県は瀬戸内海の海水について「きれい過ぎてはダメ」と、水質管理に新たな基準を設けました。これまで「きれいな海」を目指して規制してきた海水中の窒素濃度について下限値を設け、下水処理場の水質基準も見直します。「豊かな海」を目指すそうですが、どういうことなのでしょう？　（山路　進） 【図】瀬戸内海の海水中窒素濃度の変化 ■高度成長期　排水による汚染改善向け法律や規制 高度成長期、阪神や播磨の工業地帯が栄えた一方、工場や家庭の排水で川や海の水は濁り、水をきれいにする法律や規制ができました。 瀬戸内海では植物プランクトンが大量発生し、赤潮が頻発。海の酸素を消費し、浜辺にたくさんの死んだ魚が打ち上げられました。 近畿や中四国、九州の沿岸自治体は瀬戸内海をきれいにするよう求め、１９７３年に瀬戸内海環境保全臨時措置法が、７８年には同保全特別措置法（瀬戸内法）が制定。プランクトンの栄養が増え過ぎた「富栄養