田口 晴邦 | 国立研究開発法人 海上技術安全研究所

スポンサーリンク

概要

• 田口 晴邦の詳細を見る
• 同名の論文著者
• 国立研究開発法人 海上技術安全研究所の論文著者

論文 | ランダム

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

もっと見る

スポンサーリンク