検索結果を絞り込む

データ種別

論文 24

本文・本体へのリンク

本文・本体リンクあり 24

〜

検索結果 24 件

  • 1 / 1

  • 意味関数によるC言語の意味形式化

    篠崎, 政久, 宮寺, 庸造, 米田, 信夫 全国大会講演論文集 第49回 (ソフトウェア), 5-6, 1994-09-20

    プログラムの表示的意味論は、1969年D.Scottoらにより提案された。表示的意味論では、意味関数によってプログラムを意味領域上に写像し、そのプログラムの意味を意味領域上で関数として表現する。この意味領域上の関数を調べることにより計算の可能性、停止性を調べることが、さらには、プログラムの検証、意味同値性、デバッグ、自動合成等に応用可能となった。表示的意味論は、言語処理系の設計、実装にも応用でき…

    情報処理学会

  • 図形型プログラム言語のグラフ文法による定義

    深瀬, 宰史, 田辺, 文雄, 山崎, 浩一, 夜久, 竹夫, 米田, 信夫 全国大会講演論文集 第47回 (ソフトウェア), 115-116, 1993-09-27

    効果的なプログラムの設計・開発・保守を目的とした,プログラム流れ図を中心とした図形型プログラム言語は盛んに研究され,PAD,SPD,階層化流れ図言語Hichart等が知られている.しかし,図形型プログラム言語に対しては,厳密な文法が定められていない.そのため処理系の体系的な設計が困難である等の問題点がある.そこで,我々は,図形型プログラム言語へのグラフ言語理論の応用を考える.すなわち,図形型プロ…

    情報処理学会

  • 問題と解答

    玉河 恒夫, 久賀 道郎, 福原 満洲雄, 彌永 昌吉, 志村 五郎, 永田 雅宜, 森 明, 一松 信, 米田 信夫, 石川 修, 泉 信一, 洲之内 源一郎, 近藤 基吉, 松山 昇, 河田 竜夫, 岩堀 長慶, 木村 直樹, 田村 孝行, 辻 正次, 大津賀 信, 岩村 聯, 岩橋 亮輔, 藤崎 源二郎, 広中 平祐, 新井 正夫, 長野 正, 伊藤 清三, 山本 幸一, 清水 達雄, 内山 三郎, 座間 宣夫, 数理科学総合研究班，第Ｉ班, T. T., 真野 健次, 永見 啓応, 増山 元三郎, Grauert H., 佐藤 大八郎, 函数論分科会, 伊原 康隆, 小林 昭七, 竹内 啓, 中野 茂男, Hahn L.-s. 数学 30 (2), 173-190, 1978

    DOI

  • 問題と解答

    米田 信夫, 岩堀 長慶, 所沢 久雄, 福原 満州雄 数学 5 (4), 248-250, 1954

    DOI

  • 1 / 1
ページトップへ