Stephen Satoru Hanada

多様体

Stephen Satoru Hanada

多様体

Stephen Satoru Hanada

This user is using the new profile.

Join our Beta test to try out our new profile.

Join

DMCA Takedown

■要約 闘う論理の哲学エンジニア

Mar 2017

北海道大学

文学研究科

Mar 2017

2015

熊本大学

哲学

2015

2010

済々黌高等学校 (SEISEIKO High School)

2010


Skills and qualities

論理学

Recommended by Ryota Irie and 3 more
4
4

Ruby

Recommended by Keisuke Arai
1
1

二回行動

Recommended by Ryota Irie
1
1

毒耐性

Recommended by Ryota Irie
1
1

Isabelle

Recommended by Ryota Irie
1
1

TLA+, 全体攻撃, 議論でのプロレス

 and 9 skills

Show more

Accomplishments/Portfolio

『プログラミング言語 Standard ML 入門』の解答例にコメントをする

June 2020 - Sept 2020

認識論理の部分構造論理を用いた研究

"Rational agents with-in logic and its semantics"

Apr 2015 - Mar 2016