特集 就学前教育 子育て支援を軸にした乳幼児教育--幼保一体型施設に見る新しい乳幼児教育の形

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

• ISOにおける形式記述技法の標準化動向 (通信システムの形式記述技法の標準化)
• 実行可能仕様に基づく変換プログラミング (<特集>ソフトウェア工学の現状と動向)
• 項書き換え型計算モデルとその応用 (非手続き型プログラミングのための計算モデル)
• プログラミング方法論の展望
• 再帰サブルティンにおけるパラメタの数について (計算機科学の数学的基礎)

もっと見る

スポンサーリンク