現在、脳内の活動を数学的に表現できるように研究しております。
脳の構造から仮説を立てて、コンピュータでシミュレーションしています。
当初はC++言語をつかっていたのですが、
仮説を論理的に実証するために数学的証明が必要になり、
Proof Checker Mizar なども使っています。
経歴は少々変わっており、大学3つ(日本画、物理学、教養)と大学院(工学)を卒業しています。
コンピュータの会社に勤めていたこともあります。
現在は日本数式処理学会、日本感性工学会、日本Mizar学会に属しています。
今後ともよろしくお願い致します!
(^_^)