関数型プログラムの束縛評価グラフ生成ツール
スポンサーリンク
概要
- 論文の詳細を見る
関数型プログラムは, 記述が簡潔で, ハードウェアの仕様記述や定理自動証明に代表される重要な応用があるにもかかわらず, 命令型プログラムと比較してあまり普及してこなかった。その理由の一つは, 関数型プログラムの開発支援環境があまり整備されていないことである。現在, 関数型プログラム開発活動を支援するツールはいくつか存在するけれども, 複雑さ計測といった個々のプログラム開発活動に特化されており, プログラム開発活動を統合的に支援する環境はまだない。本研究は, 関数型プログラムの開発活動をソフトウェア工学の立場から支援する環境の構築を目指している。そのような環境を構築する際には, プログラムを抽象的に表現するモデルが重要となる。そのモデルの一つとして, 著者らが提案した束縛評価グラフがある。本発表では, 関数型プログラムからその束縛評価グラフを生成するツールについて述べる。
- 一般社団法人情報処理学会の論文
- 1997-09-24
著者
-
牛島 和夫
九州大学大学院システム情報科学研究院
-
牛島 和夫
九州産業大学情報科学部
-
程 京徳
九州大学大学院システム情報科学研究科 情報工学専攻
-
合田 和正
九州大学大学院システム情報科学研究科情報工学専攻
関連論文
- 教官の研究教育活動等報告書データベースシステムの開発と運用
- 産学協同実践教育「プロジェクトベース設計演習」高度化の取組み(情報システム教育コンテスト(3))
- 日本語文章の推敲支援における並列構造の曖昧さの指摘法について
- Tenderにおける資源「演算」の扱い
- 異なるスケジューラの共存制御法
- 異なるスケジュール法の共存制御法
- MERIT-9紹介状形式文書の汎用Webブラウザによる表示手法の開発
- インターネットを利用した遠隔制御機器アクセス方式の提案と評価
- 分散生産ライン管理・保守システムのオブジェクト指向技術に基づく設計と実装
- (社)日本工学教育協会第46回年次大会報告(第2報) : シンポジウム : 変革期の工学教育
- 移動型プログラムを用いた分散システム管理におけるセキュリティ機構の設計と試作
- ニューラルネットを組み込んだ学習システムのデザインパターンによる実現
- 属性間の因果関係を考慮した決定木学習
- 広域分散環境下における移動型プログラム構築環境の実装
- インターネットに適した衛星通信リンクの制御方法について
- フロー制御機能を備えたアプリケーションの開発
- ネットワーク管理における障害通知について
- オブジェクト指向型決定木学習システムの開発
- オブジェクト指向型概念学習システムのための視覚化アプリケーションの開発
- 情報処理学会とカタカナ語
- 6. 通常資源から知識資源へ (九州発21世紀へのメッセージ)
- 産学協同によるプロジェクトベース設計演習のためのFD(大学教員能力開発)プログラムの実施と総括
- テキスト処理による推敲支援情報の抽出(テキストの自動評価)
- 中野先生を偲んで
- 経済産業省平成18年度産学協同実践的IT教育訓練基盤強化事業"「プロジェクトベース設計演習」FDプログラムの開発"実施報告
- 双方向型産学連携実践教育(若手の会,PBL(Project-Based Learning))
- 双方向型産学連携実践教育(実践教育,産学連携論文)
- 2005年度産学連携実践教育実施報告
- 2-332 講義記録システムを用いた九州産業大学情報科学部におけるファカルティデベロプメントの推進((14)ファカルティ・ディベロップメント)
- 物理的教室と複合した仮想教室環境の開発(eラーニング1, 夏のデータベースワークショップDBWS2005)
- 半永続データのモデル化及び自己組織化管理の諸問題の考察(ストリームデータ1, 夏のデータベースワークショップDBWS2005)
- 物理的教室と複合した仮想教室環境の開発(eラーニング1, 夏のデータベースワークショップ2005)
- 半永続データのモデル化及び自己組織化管理の諸問題の考察(ストリームデータ1, 夏のデータベースワークショップ2005)
- 講義記録システムを含む教育環境の構築と教育実践(セッション2 : 招待講演)(テーマ:デジタルコンテンツの管理と応用)
- ファカルティ・ディベロプメント(情報技術と教育)
- (開発支援環境・自動化技術)ソフトウェアメトリクスを利用したリファクタリングの自動化支援機構(オブジェクト指向技術)
- 日本語文章推敲支援ツール『推敲』 : 開発と使用の経緯
- リファクタリングを自動化するための基本機構の提案
- 自己計測機能を含む並行プログラムの開発における計測仕様書とその応用
- MHC-Message Harmonized Calendaring Systemの設計と実装
- 多様な選択ポリシーを利用可能なサーバ選択機構
- 通信路の品質変化に対応する通信制御機構の評価
- マルチメディアコンピュータを用いた英語発音学習システムの開発と評価
- 通信路の品質変化に対応するための通信制御手順
- 通信路の品質変化に適応する自動通信制御機構の評価
- 通信路の品質変化に適応する自動通信制御機構の評価
- 大学の設備を用いた中学生のための計算機ネットワーク体験教室
- 述語と格助詞を手がかりにした文構造の解析および推敲支援への応用
- 形態素解析を援用した字面解析手法による否定表現の抽出と評価
- 定義使用グラフの拡張
- タスク型を含む並行処理プログラムのテストケース生成法について
- C並行処理プログラムのためのテストケース生成系について
- オブジェクト指向プログラムのテストのためのモデルについて
- テストによって同期・通信誤りを発見するための並行処理プログラムのモデルに関する一考察
- 順序列テスト基準における測定事象の最適化方法について
- 順序列テスト基準に基づく並行処理プログラムのテスト充分性評価
- C並行処理プログラムのテスト充分性評価システムのソケットへの対応
- Ada並行プログラムのためのタスク従属ネットとその自動生成
- プログラム従属性理論に基づく並行処理ソフトウェアの統合的開発支援環境の構築
- プログラム従属性理論に基づく並行処理ソフトウェアの統合的開発支援環境の構築
- BDIアーキテクチャを用いた分散人工知能戦略選択機構
- BDIアーキテクチャを用いた分散人工知能戦略選択機構
- BDIアーキテクチャを用いた分散人工知能戦略選択機構(並列・分散)
- プログラム依存グラフ可視化ツールの開発
- プログラム依存グラフ可視化ツールの開発
- 5C-3 Ada 95 プログラムのためのシステム従属ネット生成ツール
- 相関論理における強相関性原理
- ネットワークを利用した無記名投票システムの開発
- 前向き自動帰結演算システムの効率化
- 走行中のプロセス間で共有されたプログラムの部分入替え法の提案とその評価
- 表の配置グラフに基づくX-Window上での表操作ツールTableXについて
- 自律移動型プログラムを用いた計算機管理支援の枠組について
- 移動型プログラムを利用した分散システムの管理について
- 一般情報処理教育用システムにおける利用者情報の管理について
- 表の物理構造を表現した配置グラフの X-Window上での操作ツールの試作
- ネームサーバを用いた自律分散的負荷分散
- ネームサーバを用いた柔軟な負荷分散 (インターネットコンファレンス'99論文集) -- (分散環境)
- ネームサーバを用いた負荷分散方式
- 分散問題解決による共有資源の効率的な実現
- 5F-2 Tenderにおける永続制御機能の設計と実現
- Tenderにおける永続制御機能
- Tenderにおける永続制御機能
- サービスの処理内容を考慮したトランザクション処理の負荷分散法
- 分散システムでの負荷分散に向けたシステム状態の把握法
- Tenderにおけるヘテロ仮想記憶の設計
- Tenderにおけるヘテロ仮想記憶の設計
- Tenderのメモリ管理機能 : ヘテロ仮想記憶(HVS)
- サービス処理速度の調整制御法 (特集 ソフトウェア発展)
- 3Z-3 プログラム実行速度調整機能における処理の均一性向上手法
- 3F-5 Tenderオペレーティングシステムにおけるプロセス間通信機能
- Tenderオペレーティングシステムにおけるプログラム実行速度調整機能の設計と実現
- 4P-1 通信品質が動的に変化する通信路上でのFCC通信制御手順の評価
- (36) 卒業論文・修士論文・博士論文に索引を付けさせる(第9セッション 教育研究指導(3))
- プログラム実行時間を調整する入出力制御法
- 日本語文における名詞句の並列構造の推定およびその推敲支援への適用
- 字面解析を応用した日本語文章推敲支援ツールの開発
- 字面解析による用言の活用形推定について
- 分散問題解決による共有資源の実現
- 矛盾を扱える論理プログラミングシステムALPS-HI
- 関数型プログラムの束縛評価グラフ生成ツール