関数型言語の検証系の試作
スポンサーリンク
概要
- 論文の詳細を見る
LISPは、もともとラムダ算法に基づいて設計された言語だが、その後プログラミング言語として独立し、豊富な機能を備えるようになった。このことは、プログラムの生産性を向上させた反面、複雑でわかりにくいプログラムの記述を助長し保守やデバッグを困難なものにしている。こうした状況を踏まえ、我々は、プログラミングの早さよりも信頼性の高さと保守の容易さに重点を置いてプログラミングと検証を並行してできる関数型言語、およびその処理系を設計・試作中である。本項では、その言語の特徴と検証方法の概要について述べる。
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
関連論文
- 業務アプリケーション開発へのUML Profile for EDOCの適用法の提案
- オブジェクト指向分析の分析
- 遺伝的アルゴリズムのフライトスケジューリング問題への適用
- 要求分析のためのシソーラス作成支援
- MDAに基づくソフトウェア開発と従来手法の比較,及び実適用へ向けての考察
- MDAに基づくソフトウェア開発の事例と開発プロセス
- PAORE : パッケージ指向の要求獲得プロセス
- インタビューによる要求抽出作業を誘導するシステムの実現方法
- WWW上に構築するソフトウェア要求分析支援環境
- インタビューによるソフトウェア要求分析過程とWWW上に構築するその支援環境
- インタビューによるソフトウェア要求分析過程とWWW上に構築するその支援環境
- Japan-CIS Symposium on Knowledge-Based Software Engineerin'94(JCKBSE'94)の企画および参加報告
- オブジェクト指向・エージェント技術の基礎
- 2. 例題によるオブジェクト指向のモデル化作法 - オブジェクト指向分析の落し穴 ( オブジェクト指向分析・設計)
- ソースプログラムのタイプミスの発見とその訂正
- 中高年を意識したブック型オンラインヘルプシステム
- 中高年を意識したブック型オンラインヘルプシステム
- 企業が求める人材の要件とその育成法
- 経営情報系講義科目向けグループ学習型講義方式の提案
- 類似の分析結果を利用した汎用ドメインモデル抽出による要求分析支援
- 類似の分析結果を利用した汎用ドメインモデルの抽出
- オブジェクト指向分析におけるオブジェクトモデルと機能モデルの作成を支援するシステム
- オンラインショッピングのための商品検索機能の提案
- DTDを用いてXML文書からキーワードを抽出する方法
- IPv6 : インターネット新世代 並木淳治(監修), IPv6-インターネット新世代-, (社)電子情報通信学会, 2001-07, A5判, 定価(本体2,800円+税)
- オンラインショッピングのための商品検索機能の提案
- 企業を変える情報システム
- 形態素を利用した自然な和文訳のためのゼロ代名詞生成規則
- 音声認識支援システムにおける句読点挿入方法の提案
- 次世代デジタルエンタープライズのための経営と情報技術
- 役割分担に基づく業務フロー図を利用したオブジェクト指向分析法
- 役割分担に基づく業務フロー図を利用したオブジェクト指向分析法
- 初心者から熟練者への移行を支援するGUIの提案
- 初心者から熟練者への移行を支援するGUIの提案
- 業務フロー図とオブジェクト指向分析・設計
- 多領域を対象にした漸増的な類推
- 代数的仕様のΔ拡張
- ユースケースを利用したユーザのためのプロジェクトマネジメントシステム
- ユースケースを使ったユーザのための進捗管理
- シナリオを利用したオブジェクト指向分析支援
- シナリオを利用したオブジェクト指向分析支援
- フライトスケジューリングへの協調分散アプローチ
- 事象の変化をあらわす意味ネットワークモデル
- 会議の文脈追跡支援システム-CHAIRPERSON-
- コミュニケーションの分析を通した会議の支援システムの構築(2) : 会議の議題に関する知識の利用
- コミュニケーションの分析を通した会議の支援システムの構築(1) : 会議の文脈の抽出
- 数式とグラフの相互作用を可能にした数学理解支援システムの研究
- 類推を用いた入出力例題からの論理プログラムの合成手法の提案
- トレースと設計戦略を用いたPrologプログラムのトップダウンな合成方法
- データ構造に注目したプログラム変換システム
- 知識ベースに基づくネットワーク管理の支援に関する研究
- 知識ベースに基づくネットワーク管理の支援に関する研究
- 動的解析と静的解析を融合したPrologプログラムのデバッグ
- ドメイン知識の再利用とパターンの適用によるオブジェクト指向システム設計支援
- ドメイン知識の再利用とパターンの適用によるオブジェクト指向システム設計支援
- 要求分析工程を対象にした文書の有効利用に関する提案
- 要求分析工程における文書の構造と特徴を利用した開発者支援システムの構築
- 多品種少量生産工場の製造スケジューリングに対するGAの適用
- 医療診断を対象とした事例間の関係の構造化に基づく事例べース推論システムの作成
- レガシープログラム変換法の実務プログラムへの適用
- 一括処理のレガシープログラムからオブジェクト指向プログラムへの変換法
- LO-1 プログラム資産活用のための再構造化(O. 情報システム)
- 入出力例題からの生成検査法プログラム合成手法の提案
- プラン認識におけるコマンド処理システム
- 対面会議を前提とした非同期コミュニケーションの役割に注目した支援システムの構築
- 対面会議を前提とした非同期コミュニケーションの役割に注目した支援システムの構築
- オブジェクト指向・エージェント技術とその活用 : 特集号によせて
- 人間の顔を向いたソフトウェアの研究開発を
- 役割分担に基づく業務フローによる利用者主導の要求分析
- 数学理解支援システムINGRASYの構築(数式処理における理論と応用の研究)
- 関数型言語の検証系の試作
- モジュールの図表化及びリンクによるプログラム変更支援
- 本位田真一・青山幹男・深澤良彰著 中谷多哉子編著 "オブジェクト指向分析・設計 開発現場に見る実践の秘訣"
- オブジェクト指向ソフトウェアの構造パターンに対するデータ解析手法による分析評価の試み
- カードを用いたオブジェクト指向分析支援
- 3. 実世界と形式的記述の接点としてのオブジェクト指向モデル : 周辺分野のラウンド・トリップを通して ( オブジェクト指向分析・設計)
- 製造業大手企業のITの相対ベンチマークの試行と結果
- 情報システム論文の書き方と査読基準の提案
- 次世代デジタルエンタープライズのコンセプト
- 分散環境における要求獲得コミュニケーションの支援システム
- 分散環境における要求獲得コミュニケーションの支援システム
- 数式と図形の相互作用を実現するシステムの研究
- オブジェクト指向言語のための視覚的プログラミング支援環境
- 矛盾を積極的に活用した推論に関する研究
- 計画型エキスパート・システムにおけるメタレベルの知識獲得
- 制約,ルール,解に優先度を導入した制約論理型言語の提案と実現
- オブジェクト指向・エージェント技術の基礎
- テキスト記述に対するデフォルト論理の適用に関する研究