出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/19 09:39 UTC 版)「ダイバー0」の記事における「キャプテンハーロック」の解説地球にとって大事な男という理由...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/30 06:42 UTC 版)「ばいばい、アース」の記事における「ギネス」の解説剣楽隊（バンド）の脚本者（リブレット）...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/01 14:09 UTC 版)「人工憑霊蠱猫」の記事における「件獣（くだんじゅう）」の解説人面の牛。因果から自由な鬼神...

シークエント計算（シークエントけいさん、英: Sequent calculus）は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので...

シークエント計算（シークエントけいさん、英: Sequent calculus）は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので...

シークエント計算（シークエントけいさん、英: Sequent calculus）は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので...

シークエント計算（シークエントけいさん、英: Sequent calculus）は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/12/23 09:28 UTC 版)「励起状態」の記事における「原子の励起」の解説この概念の単純な例として水素原子について考...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/29 10:19 UTC 版)「プロレタリア独裁」の記事における「概念の変容」の解説ロシア革命において、レーニンが「ど...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/14 18:40 UTC 版)「桑野信義」の記事における「生誕から高校卒業まで」の解説1957年4月4日、東京都で出生...