検証する! いいですね!
検証はテストです。試験です。
システムの試験です。
フォーマル・ベリフィケーション
恒真性の検証
検証結果は?
システムのバグのリストです。
システムのデバグを行うと、システムは正常に機能します。
支援制度
支援システム
です。
支援システムを検証して、バグを発見し、デバグする。
システムの問題は解決される!
ハートネットは、システムエンジニアに認定されます。
支援制度の設計ならば、システムデザイナーに認定されます。
支援制度の概念設計であれば、システムアーキテクトに認定されます。
村上春樹は、世界のシステムを観て、システムの問題提起をしています。
システム設計者の亜種です!
さとえりの「空気さなぎ」は、おおざっぱなプログラムです。
天吾がきちんとしたプログラムに仕上げて、出版しました。
プログラマーは言語でプログラムを書きます。
1984、1Q84
ふたつのシステムがあった。
「空気さなぎ」は、1Q84の核心のプログラムです。
だから、1Q84には、ふたつの月があった。
ゲーム・クリエイターなどは、このような仕事をしています。
1Q84は、ゲームでもある。
天吾のアパート、青豆のアパート、仕置き人組合の館、山梨のサティアン、哲学者の家、さとえりの隠れ家、ホテル、公園、首都高、中央線、、、
これらは舞台です。
だから、小説は面白い。
障害者支援制度の設計
同じような話です。世界は限定される。
登場人物など
障害者、医師、家族、施設、お役所、、、
NHKハートネット
ハートネットTV再放送開始です。終戦で施設に戻った知的障害者たちの中に「ニュースさん」という男性がいた。81歳で亡くなるまで施設で過ごしたニュースさん。その人生に支援制度は何をもたらしたのか。知的障害者たちの戦後の処遇を検証します。http://www.nhk.or.jp/heart-net/tv/calendar/2015-08/20.html …
検証はテストです。試験です。
システムの試験です。
フォーマル・ベリフィケーション
恒真性の検証
検証結果は?
システムのバグのリストです。
システムのデバグを行うと、システムは正常に機能します。
支援制度
支援システム
です。
支援システムを検証して、バグを発見し、デバグする。
システムの問題は解決される!
ハートネットは、システムエンジニアに認定されます。
支援制度の設計ならば、システムデザイナーに認定されます。
支援制度の概念設計であれば、システムアーキテクトに認定されます。
村上春樹は、世界のシステムを観て、システムの問題提起をしています。
システム設計者の亜種です!
さとえりの「空気さなぎ」は、おおざっぱなプログラムです。
天吾がきちんとしたプログラムに仕上げて、出版しました。
プログラマーは言語でプログラムを書きます。
1984、1Q84
ふたつのシステムがあった。
「空気さなぎ」は、1Q84の核心のプログラムです。
だから、1Q84には、ふたつの月があった。
ゲーム・クリエイターなどは、このような仕事をしています。
1Q84は、ゲームでもある。
天吾のアパート、青豆のアパート、仕置き人組合の館、山梨のサティアン、哲学者の家、さとえりの隠れ家、ホテル、公園、首都高、中央線、、、
これらは舞台です。
だから、小説は面白い。
障害者支援制度の設計
同じような話です。世界は限定される。
登場人物など
障害者、医師、家族、施設、お役所、、、
NHKハートネット
ハートネットTV再放送開始です。終戦で施設に戻った知的障害者たちの中に「ニュースさん」という男性がいた。81歳で亡くなるまで施設で過ごしたニュースさん。その人生に支援制度は何をもたらしたのか。知的障害者たちの戦後の処遇を検証します。http://www.nhk.or.jp/heart-net/tv/calendar/2015-08/20.html …
0 件のコメント:
コメントを投稿