構造的帰納法
#Fleeting_Notes
構造的帰納法(こうぞうてききのうほう、structural induction)
確認用
Q. 構造的帰納法
メモ
『The formal semantics of programming languages: an introduction』
P28
『型システム入門 : プログラミング言語と型の理論』
P23 定理 3.3.4 項に関する帰納法の原理
『Discrete Mathematics and Its Applications』Eighth Edition
5.3 Recursive Definitions and Structural Induction 再帰的定義と構造的帰納法 365
調査用
Google.icon
構造的帰納法(日)
Google.icon
Structural induction(英)
Wikipedia.icon
構造的帰納法 - Wikipedia(日)
構造的帰納法(検索) - Wikipedia(日)
Wikipedia.icon
Structural induction - Wikipedia(英)
Structural induction(検索) - Wikipedia(英)