関山 太朗 氏名 関山 太朗 Taro Sekiyama 所属 国立情報学研究所 職名 助教 学位 博士(情報学) 経歴 京都大学で博士取得後、日本IBMを経て現職。 実務経験・研究分野 プログラミング言語理論。 プロフィール 確率的プログラムや機械学習プログラムの検証、機械学習の形式検証への応用に興味があります。 WEB サイト