極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda
SmalltalkやPythonを始めとする動的プログラミング言語、VDMやZ記法を含む形式的仕様記述言語を好み、多数の情報デバイスで1つの個人情報環境を構築するライフワイドコンピューティングを研究開発しています。http://tomostavern.blogspot.com/ (in Japanese)
-
平壌の高層ビルと新しい目抜通りはハリボテだとする航空写真は別の場所だった。
228308pv 1238 313 users 1414 -
鳥越俊太郎氏は本当に空襲体験をしたのか?
186949pv 2038 236 users 2775 -
【悲報】2~3年後、小中学校において「道徳心」「愛国心」に成績をつける、と文科省が決定。
283104pv 6810 423 users 19209