お問い合わせ
お問い合わせ
情報セキュリティ(プログラム検証、安全性証明)、人工知能分野(数理論理学、自然言語処理)、データサイエンス分野(数理モデル)、情報教育分野(プログラミング教育)
東京大学にて情報理工学系研究科の助教を務める。その後、(株)マインド・アーキテクトを経て、弊社入社。 京都大学理学部卒業。京都大学大学院理学研究科(数理解析研究所)博士課程修了。博士(理学)。
数学は抽象化の学問です。抽象化のメリットは、複数の異なる事象を同一視できることにあります。ある問題の解決策が、一見異なる別の問題に潜んでいるかも知れません。私は長年に渡って抽象数学を学んできました。その知見を活かして、普通の人とは違った視点から問題の解決をお手伝いできればと思います。
担当のプロダクト・サービス
2002年 日本ソフトウェア科学会 高橋奨励賞 受賞 2020年 情報処理学会 山下記念研究賞 受賞
privacy policyをお読みいただき、同意の上送信してください。
なお、お問い合わせの内容によっては、ご返答が遅れる場合がございます。ご了承ください。