| Budget Amount *help |
¥3,470,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥570,000)
Fiscal Year 2012: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2011: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2010: ¥1,000,000 (Direct Cost: ¥1,000,000)
|
|---|
| Research Abstract |
We studied the problems about difficulties of current computing systems in developing high performance automated reasoning systems, considered the possibilityof logic elements that realize higher level functions directly and efficiently, and obtained some useful findings. We also obtained several remarkable results of case studies
|
