極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda
SmalltalkやPythonを始めとする動的プログラミング言語、VDMやZ記法を含む形式的仕様記述言語を好み、多数の情報デバイスで1つの個人情報環境を構築するライフワイドコンピューティングを研究開発しています。http://tomostavern.blogspot.com/ (in Japanese)
-
平壌の高層ビルと新しい目抜通りはハリボテだとする航空写真は別の場所だった。
228314pv 1238 313 users 1414 -
【悲報】2~3年後、小中学校において「道徳心」「愛国心」に成績をつける、と文科省が決定。
283115pv 6810 423 users 19209 -
ネトウヨ総理・安倍晋三&丸川珠代がニコ生でデマ→辻元清美が撤回要求→自民党広報が謝罪&動画削除
40373pv 529 130 users 823
-
新国立競技場建設に見る「過去の決定の間違いを認めると死んじゃう病」とそういうときのお役所的解決策
35087pv 867 67 users 1339 -
ハム速に釣られたジャーナリスト・石井孝明氏のその後
171858pv 1664 266 users 79 -
布施祐仁(yujinfuse)さんの語る、自衛隊のリクルート戦略
29162pv 615 26 users 639 -
東京都議会での暴言(ヤジ)騒動と、その根底にある問題について 《山崎雅弘》
6075pv 71 2 users 3