自己紹介(論理学友の会発表用)

今回の記事は論理学友の会での発表の時の自己紹介シート替わりです。

特に普段僕の記事を読んでくださってる方は、僕の生態を知りたい奇特な方以外はスルーしていただいて結構です。

名前:Aaron/アーロン/あーろん/sanjutsu_yu

年齢:23歳

好きな物:Ardbeg(ウイスキー)、もつ煮込み、アナログゲーム、Scheme(プログラミング言語)、レジスターマシン、直観主義論理

持病:アトピー性皮膚炎

所属:北陸先端科学技術大学院大学(JAIST)-先進科学技術研究科-情報科学専攻M2

→現在精神的不調に起因して持病を悪化させ、おまけに例の疫病のせいもあって実質的な休学状態。

専門:数理論理学(特に直観主義論理/計算論)

最近の興味:古典二値論理よりも弱い論理やその意味論。またそれを用いてCSや哲学において出現する、ある意味で「日常的な」問題を解釈すること。

→あまりテクニカルな数学内部の問題よりも、意味論やそれの日常的な出現を問題にすることが多い気がする。