tomooda
(tomooda)

Usage start date: 07/21/2012

SmalltalkやPythonを始めとする動的プログラミング言語、VDMやZ記法を含む形式的仕様記述言語を好み、多数の情報デバイスで１つの個人情報環境を構築するライフワイドコンピューティングを研究開発しています。http://tomostavern.blogspot.com/ (in Japanese)

Your Groups

2023

04/16

（Sun）

13:00〜

Attending

Isabelle チュートリアル 第2回 型と関数の定義・数学的帰納法 Ended

PRINCIPIA

Isabelle チュートリアル 第2回 型と関数の定義・数学的帰納法

hatsugai hatsugai

オンライン

3/10

2023

04/02

（Sun）

13:00〜

Attending

Isabelle チュートリアル 第1回 論理 Ended

PRINCIPIA

Isabelle チュートリアル 第1回 論理

hatsugai hatsugai

オンライン

4/10

2022

07/13

（Wed）

18:30〜

Attending

「米国におけるメタバース技術の開発動向」(第138回Smalltalk勉強会) Ended

Smalltalk-users.jp

「米国におけるメタバース技術の開発動向」(第138回Smalltalk勉強会)

newapplesho newapplesho 他

東京都渋谷区渋谷4-4-25

21/20

2019

06/29

（Sat）

10:00〜

Attending

Smalltalk Day Japan 2019 Ended

Smalltalk-users.jp

Smalltalk Day Japan 2019

newapplesho newapplesho 他

東京都中央区日本橋茅場町1-5-8 東京証券会館1階

14/20

2017

12/26

（Tue）

19:00〜

Attending

Smalltalk忘年会2017 Ended

Smalltalk-users.jp

Smalltalk忘年会2017

Masashi Umezawa Masashi Umezawa

東京都中央区日本橋2-7-1 (東京日本橋タワー)

11/12

2017

11/30

（Thu）

19:00〜

Attending

続・SmalltalkとCI | 第106回 Smalltalk勉強会 Ended

Smalltalk-users.jp

続・SmalltalkとCI | 第106回 Smalltalk勉強会

newapplesho newapplesho 他

東京都中央区日本橋茅場町1丁目9番2号 第一稲村ビル8階

6/10

2017

10/25

（Wed）

19:00〜

Attending

ESUG2017参加報告 | 第105回Smalltalk勉強会 Ended

Smalltalk-users.jp

ESUG2017参加報告 | 第105回Smalltalk勉強会

newapplesho newapplesho 他

東京都中央区日本橋茅場町1丁目9番2号 第一稲村ビル8階

10/10

2017

06/30

（Fri）

19:00〜

Attending

Pharo 6 最新情報 | 第101回Smalltalk勉強会 Ended

Smalltalk-users.jp

Pharo 6 最新情報 | 第101回Smalltalk勉強会

newapplesho newapplesho 他

東京都中央区日本橋茅場町1丁目9番2号 第一稲村ビル8階

8/12

2017

05/31

（Wed）

19:00〜

Attending

第100回Smalltalk勉強会 Ended

Smalltalk-users.jp

第100回Smalltalk勉強会

newapplesho newapplesho 他

東京都渋谷区神泉町8-16 (渋谷ファーストプレイス 8F)

23/60

2017

01/30

（Mon）

19:00〜

Attending

Tarantalk | 第96回Smalltalk勉強会 Ended

Smalltalk-users.jp

Tarantalk | 第96回Smalltalk勉強会

newapplesho newapplesho 他

東京都中央区日本橋茅場町1丁目9番2号 第一稲村ビル8階

6