西村 友海

法学の基礎理論を研究しています。具体的には、「議論」や「論証」といった概念を中心に据え、論理学の哲学や計算機科学の知見を参照しつつ、法解釈や法的判断といったものの性質や特徴を明らかにすることを試みています。 また、その成果を応用して、法学と他分野の知見とを（それぞれの分野の知見の相違を適切に踏まえつつ、）接続する方法を模索する、といったことも試みています。

小学校の図書館で「マイコンBASICマガジン」に出会って以来、プログラムを書くことが趣味です。好きな言語はScalaですが、ちょっと触ったことがある程度を含めれば大抵の言語は書いたことがあります。学生時代は学業の傍らのべ3社でエンジニアとして勤務してきましたので、Java, Scala, JS, Obj-C, Swift, Pythonあたりは業務での使用経験もあります。ソフトウェア工学やプログラミング言語論、型システムなどにも興味関心があり、そうした知見を生かした研究テーマも模索しています。実定法の勉強も好きなので、狭い意味での専門とはズレていますが、システム開発契約についても研究しています。