スポンサーリンク
山梨学院短期大学 | 論文
- 女子短期大学生の身体活動状況と身体組成について並びに運動実施状況と推奨される運動量との比較
- 40〜50歳代男女の生活習慣と栄養摂取状況
- A logical version of parsing
- 最小論理とノヴィコフの公理系との関連について
- アリストテレス式三段論法に基づく定理の自動証明
- The Embedding of Prolog in Constructive Logic with Strong Negation
- 強い否定を含む構成的理論による分解証明法の定式とメタ理論
- 下降型縦型探索を行なう自然言語の構文解析のゲンツェン式定式化
- コンスタントな命題を中心とする古典命題論理
- 強い否定を含む構成的命題論理における公理の単純化
- 強い否定を含む構成的述語論理によるPROLOGの解釈
- 知識と信念の論理の双様相論理による定式化
- 中年期女性の簡略更年期指数と生活習慣
- 女子学生の亜鉛不足に関連する体調と食生活について
- 女子高校生の愁訴と生活習慣との関連
- ソフト食導入における栄養部門のマネジメントについて
- 女子短期大学生の血清亜鉛および味覚に対する自己判定と食習慣の関連
- もう少し摂ろう!カルシウム
- 骨粗鬆症の予防と栄養 : 食品を中心として
- もう少し摂ろう!カルシウム(IV) :