million人が利用する働く人のためのネットワーキングサイトです。闘う論理の哲学エンジニア好きな言語はコプト語です。アッカーマン関数は再帰的関数であり、アッカーマン関数のグラフは原始再帰的であることの証明をこの前読み解きました。最近はTLA+で遊んでいます。TLA+"を読み終えました。論理学の哲学を専攻し、計算不可能性について考えていたりしていたはずですが、なぜか計算可能な世界でいかに素早く計算するかを考えるようになりました。Estateという真逆の業界を扱っております。当初は何かと思想の違いで混乱することがありましたが、最近は落ち着いてきました。私の略歴は以下の通りです。入学、実存系の哲学をやっていたはずが、必要に駆られて論理学をやることになりました。Logic)を対象にしました。入り、プログラミング言語の思想史、特に、圏論的意味論の思想を追いかけていました。その橋がけとして、認識論理の証明論的アプローチとして、抜き打ちテストのパラドックスを対象にした研究を修士論文でまとめました。他にもアリストテレスやキリスト教についても研究していました。研究してきた内容とはだいぶ異なる事柄を現在はやっておりますが、研究の中で培われた技術・能力・知性は仕事でもしっかり活かせることを実感しております。最近は、以前やっていた超準理論で、定理証明支援とかプログラミング言語意味論とかできないかと、妄想しております。semantics"合理的なエージェントは如何にして、そのロジックと意味論の範囲の中での思考において、それらの意味と使用について理解できるのかということについて、研究。部分構造論理を用いて、エージェントが如何にして思考するかを記述し、また、その位相空間を用いた意味論について研究。Puzzleに問題の焦点を当てて研究。Semantics”という題で共同研究の発表。Puzzleと帽子パズルの知見を元に、抜き打ちテストのパラドックスについて研究。非暴力の真意を学んだ。