極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda
SmalltalkやPythonを始めとする動的プログラミング言語、VDMやZ記法を含む形式的仕様記述言語を好み、多数の情報デバイスで1つの個人情報環境を構築するライフワイドコンピューティングを研究開発しています。http://tomostavern.blogspot.com/ (in Japanese)
-
Q.船上に26匹の羊と10匹のヤギがいます。この時、船長は何歳でしょう?→大多数の子供が『36歳』と答える
225553pv 1463 804 users 1440 -
脳のバグ?文字の意味が理解できなくなったり言葉が出てこない症状
56251pv 256 52 users 348 -
平壌の高層ビルと新しい目抜通りはハリボテだとする航空写真は別の場所だった。
228284pv 1238 313 users 1414
-
日本語の授業で「飛行機内で隣の人が靴を脱いだところ足が臭うので、相手を怒らせないように靴を履いてもらうにはどう言えば..
17453pv 29 3 users 2 -
鳥越俊太郎氏は本当に空襲体験をしたのか?
186939pv 2038 236 users 2775 -
【悲報】2~3年後、小中学校において「道徳心」「愛国心」に成績をつける、と文科省が決定。
283088pv 6810 423 users 19209 -
0が自然数!?
5264pv 19 3 users -
何で「研究したくない人」が大学院に来ているのか,まとめ
247170pv 447 208 users 4 -
難しいことを簡単に説明できる人が本当に賢い人ってホント?
64985pv 19 38 users 226