400万人が利用するビジネスSNS
matsuri technologies / エンジニアマネージャー
■要約 闘う論理の哲学エンジニア
誤植等の修正やコメントをしました。
合理的なエージェントは如何にして、そのロジックと意味論の範囲の中での思考において、それらの意味と使用について理解できるのかということについて、研究。 イスタンブール大学で開催されたUNILOG2015にて、研究成果の一部を"The Meaninglessness of Algebraic Semantics"という題で発表。
部分構造論理を用いて、エージェントが如何にして思考するかを記述し、また、その位相空間を用いた意味論について研究。 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と帽子パズルの知見を元に、抜き打ちテストのパラドックスについて研究。
花田 ステパノさん
のプロフィールをすべて閲覧
Wantedlyユーザー もしくは つながりユーザーのみ閲覧できる項目があります
過去の投稿を確認する
共通の知り合いを確認する
花田 ステパノさんのプロフィールをすべて見る
複数人数間で並行して同じタスクに取り掛かり、かつ、それぞれが異なる手法を使ってやる、ということは現実社会で時々見かけるけれど、それを壊れない感じでやろうとするととても大変。 では、ソートについて、並行して、異なる手法でやろうとするとどうなるか、ということに挑戦してみた。
論理学
Yamada Kazuhitoとその他3人が+1
Ruby
新井 恵介が+1
二回行動
入江 僚太が+1
毒耐性
Isabelle
前島 治樹
matsuri technologies, VPoE
庄司 賢太
株式会社設備保全総合研究所, CTO
山本 紗也華
SHOWROOM株式会社, CHRO
小原 修平
MOON-X株式会社, VP, Head of CEO Office
佐々木 圭一
株式会社ウゴカス, 代表取締役
企業からスカウトをもらいましょう