利用者:Ocyacya

出典: フリー教科書『ウィキブックス(Wikibooks)』

現在、脳内の活動を数学的に表現できるように研究しております。 脳の構造から仮説を立てて、コンピュータでシミュレーションしています。 当初はC++言語をつかっていたのですが、 仮説論理的実証するために数学的証明が必要になり、 Proof Checker Mizar なども使っています。

経歴は少々変わっており、大学3つ(日本画、物理学、教養)と大学院(工学)を卒業しています。 コンピュータの会社に勤めていたこともあります。 現在は日本数式処理学会、日本感性工学会、日本Mizar学会に属しています。

今後ともよろしくお願い致します! (^_^)