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

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

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

部分構造論理を用いて、エージェントが如何にして思考するかを記述し、また、その位相空間を用いた意味論について研究。 Two Wise Girls Puzzleに問題の焦点を当てて研究。“Application of Substructurized Epistemic Logic to Two Wise Girls Puzzle: Rational Agent, Intention and Neighborhood Semantics”という題で共同研究の発表。( http://philo.ruc.edu.cn/ceap/wp-content/uploads/2015/09/WilliamsonConference.pdf ) 合わせて、Landの博士論文で用いられていた測度論を用いた意味論について、サーベイを行う( http://www.math.tsukuba.ac.jp/~kota/wakate2015program.pdf ) 修士論文では、先述のTwo Wise Girls Puzzleと帽子パズルの知見を元に、抜き打ちテストのパラドックスについて研究。

Mar 2017

北海道大学

文学研究科

Mar 2017

"Rational agents with-in logic and its semantics"

合理的なエージェントは如何にして、そのロジックと意味論の範囲の中での思考において、それらの意味と使用について理解できるのかということについて、研究。 イスタンブール大学で開催されたUNILOG2015にて、研究成果の一部を"The Meaninglessness of Algebraic Semantics"という題で発表。

Apr 2015 - Mar 2016

"Rational agents with-in logic and its semantics"

合理的なエージェントは如何にして、そのロジックと意味論の範囲の中での思考において、それらの意味と使用について理解できるのかということについて、研究。 イスタンブール大学で開催されたUNILOG2015にて、研究成果の一部を"The Meaninglessness of Algebraic Semantics"という題で発表。

2015

熊本大学

哲学

2015

2010

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

2010


Skills and qualities

論理学

Ryota Irie and 3 others recommends
4
4

Ruby

Keisuke Arai recommend
1
1

二回行動

Ryota Irie recommend
1
1

毒耐性

Ryota Irie recommend
1
1

Isabelle

Ryota Irie recommend
1
1

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

 and 9 skills

Show more

Accomplishments

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

Jun 2020 - Sep 2020

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

"Rational agents with-in logic and its semantics"

Apr 2015 - Mar 2016