検証＠グレイトシステム

検証する！　いいですね！

検証はテストです。試験です。

システムの試験です。

フォーマル・ベリフィケーション

恒真性の検証


検証結果は？

システムのバグのリストです。

システムのデバグを行うと、システムは正常に機能します。


支援制度

支援システム

です。

支援システムを検証して、バグを発見し、デバグする。

システムの問題は解決される！


ハートネットは、システムエンジニアに認定されます。

支援制度の設計ならば、システムデザイナーに認定されます。

支援制度の概念設計であれば、システムアーキテクトに認定されます。


村上春樹は、世界のシステムを観て、システムの問題提起をしています。

システム設計者の亜種です！


さとえりの「空気さなぎ」は、おおざっぱなプログラムです。

天吾がきちんとしたプログラムに仕上げて、出版しました。

プログラマーは言語でプログラムを書きます。


１９８４、１Q８４

ふたつのシステムがあった。

「空気さなぎ」は、１Q８４の核心のプログラムです。

だから、１Q８４には、ふたつの月があった。


ゲーム・クリエイターなどは、このような仕事をしています。

１Q８４は、ゲームでもある。


天吾のアパート、青豆のアパート、仕置き人組合の館、山梨のサティアン、哲学者の家、さとえりの隠れ家、ホテル、公園、首都高、中央線、、、

これらは舞台です。

だから、小説は面白い。


障害者支援制度の設計

同じような話です。世界は限定される。

登場人物など

障害者、医師、家族、施設、お役所、、、


NHKハートネット
ハートネットTV再放送開始です。終戦で施設に戻った知的障害者たちの中に「ニュースさん」という男性がいた。８１歳で亡くなるまで施設で過ごしたニュースさん。その人生に支援制度は何をもたらしたのか。知的障害者たちの戦後の処遇を検証します。http://www.nhk.or.jp/heart-net/tv/calendar/2015-08/20.html …