研　究　介　紹　



本研究室対学術界的両大貢献
  1. 　対自動定理証明（自動推論）第一定理　Ｈｅｒｂｒａｎｄ　Ｔｈｅｏｒｅｍ　進行了改良
  2. 　提出了原理上最簡単、安装上最容易、速度上最快的（画像認識時不可少的） 貼標簽算法


　


    医用画像処理 　 ←点撃看詳細介紹（日語）　　



    定理証明・自動推理に 　 ←点撃看詳細介紹（日語）　　



    画像処理 　 ←点撃看詳細介紹（日語）　　


    Multi-agent cooperation computing 　 　　

                           ↑点撃看詳細介紹（日語）

    中文 TOP English TOP 日語TOP