極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda
SmalltalkやPythonを始めとする動的プログラミング言語、VDMやZ記法を含む形式的仕様記述言語を好み、多数の情報デバイスで1つの個人情報環境を構築するライフワイドコンピューティングを研究開発しています。http://tomostavern.blogspot.com/ (in Japanese)
-
平壌の高層ビルと新しい目抜通りはハリボテだとする航空写真は別の場所だった。
228296pv 1238 313 users 1414 -
競争的研究費は画期的研究成果を増やしたのか?
26303pv 365 214 users 657 -
「いじめられる側にも原因がある」に対するはるかぜちゃんの指摘が相変わらず鋭かった件
1615688pv 29742 791 users 30230
-
【悲報】2~3年後、小中学校において「道徳心」「愛国心」に成績をつける、と文科省が決定。
283095pv 6810 423 users 19209 -
イラクで「危ないと思ったら撃て」は当然?!
6703pv 194 4 users 106 -
ネトウヨ総理・安倍晋三&丸川珠代がニコ生でデマ→辻元清美が撤回要求→自民党広報が謝罪&動画削除
40363pv 529 130 users 823 -
新国立競技場建設に見る「過去の決定の間違いを認めると死んじゃう病」とそういうときのお役所的解決策
35083pv 867 67 users 1339 -
ハム速に釣られたジャーナリスト・石井孝明氏のその後
171807pv 1664 266 users 79 -
4.5Pさん「『ホームページが作れて、チラシとかも作れる人が欲しい』っていうけど、ホームページそのものがいくつの技術..
196213pv 1947 443 users 1069 -
わずか一期でNHK理事を退任することになった元ディレクターの退任挨拶
114909pv 2062 59 users 7299 -
コロンビア大学での安倍総理講演について報道 日本とアメリカとの違い(2014.9.24)
18299pv 413 39 users 153 -
「【産経新聞】「日本人に深くお詫びしたい」原爆開発者オッペンハイマーは自死した… 」について
59244pv 1004 128 users 451 -
布施祐仁(yujinfuse)さんの語る、自衛隊のリクルート戦略
29146pv 615 26 users 639 -
東京都議会での暴言(ヤジ)騒動と、その根底にある問題について 《山崎雅弘》
6063pv 71 2 users 3 -
経済学者・池田信夫氏が、映画作家・想田和弘氏を中傷して自滅?
110538pv 1409 177 users 248 -
社会人一年生kumagi 4月編
74853pv 163 35 users 3