講演抄録/キーワード |
講演名 |
2014-10-11 10:15
公式や定理の意味を獲得する仕組みを構築する試み ~ 演繹の仕方を帰納的に獲得する仕組みの追求 ~ ○岩間憲三(ジーエー) TL2014-38 |
抄録 |
(和) |
個々の課題を解くとき,公式,定理などを適応するという範囲で,公式,定理の意味を獲得することを説明する.あらかじめ人が作成した仕組みは,公式や定理などを個々の手順(変手)として,それらを適したところで使う一般的な手順(変手)を,帰納的に作成する.そして,仕組みは,課題が与えられると,それまでに作成した,一般的な変手を呼び出すが,呼び出された変手は,個々の課題を解くのに適した公式や定理を選び,課題に適応することで,課題を解く. |
(英) |
The paper explains a machine that acquires meanings of formula and theorems while the machine applies them to solve various problems. The machine, which a programmer has constructed, inductively forms varHands to apply formula and theorems and solve problems that can be solved by formula and/or theorems. It then forms a general varHand that invoke varHands to solve a problem in such a way that the general varHand selects the specific varHand out of many that apply formula and/or theorems to solve the problem. |
キーワード |
(和) |
帰納 / 公式の意味 / 演繹 / 変手 / / / / |
(英) |
induction / meanings of formula / deduction / varHand / / / / |
文献情報 |
信学技報, vol. 114, no. 243, TL2014-38, pp. 1-6, 2014年10月. |
資料番号 |
TL2014-38 |
発行日 |
2014-10-04 (TL) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
TL2014-38 |