概念制約式を用いたプログラミングを可能にするコンパイル手法
スポンサーリンク
概要
- 論文の詳細を見る
知識モジュールやシステムが状況変化に対して柔軟に適応できるかどうかという、柔らかさと呼ばれる概念が注目を集めはじめている。我々はプログラムを柔らかく記述する方法として概念制約式と呼ぷプログラム記述要素を提案している。本稿では概念制約式を用いて表現されたプログラムから実行可能なプログラムを生成するコンパイル手法について述べる。
- 一般社団法人情報処理学会の論文
- 1994-03-07
著者
-
曽和 将容
電気通信大学大学院情報システム学研究科
-
高木 浩光
名古屋工業大学
-
川口 喜三男
名古屋工業大学情報処理教育センター
-
川口 喜三男
名古屋工業大学電気情報工学科
-
高木 浩光
名古屋工業大学工学部電気情報工学科
-
有田 隆也
名古屋工業大学電気情報工学科
-
小林 弘明
名古屋工業大学電気情報工学科
-
曽和 将容
電気通信大学大学院情報システム研究科
-
曽和 将容
電気通信大学
-
小林 弘明
電気通信大学大学院情報システム学研究科
関連論文
- Winnyの倫理(パネルディスカッション) (特集 Winnyの技術と倫理)
- なぜ,それは「P2P」と呼ばれるのか(講演) (特集 Winnyの技術と倫理)
- 浅い束縛による動的スコープ変数が存在する時の末尾再帰呼び出し
- 5L-1 さまざまなプロセッサに対応する命令レベル並列コンパイラに関する研究
- 3H-7 投機実行の動的なスケジューリング技法
- 3H-6 動的なスケジューリングを行うマルチスレッドプロセッサの提案
- 3H-5 ページング機構を用いたキャッシュレベルメモリの管理に関する研究
- イメージ/ビデオコンテンツの自動アノーテーション
- 並列度に依存しないスケジューリング
- キューマシン計算モデルに基づくスーパスカラ・プロセッサの設計
- プログラム制御キャッシュレベルメモリの性能 : ハードウェア
- Javaによる大域的並列計算環境Ninflet (並列処理)
- Javaを用いた広域並列計算システムNinflet上の通信クラスライブラリの実現
- OpenJIT : 自己反映的なJava JITコンパイラ
- 複数クライアントによるLAN/WANでのNinfの性能(並列処理)
- Ninfによる広域分散並列計算(並列処理)
- 4.応用の新展開 : メタコンピューティングへの応用
- Ninfによる広域分散並列計算
- Ninflet:JavaによるWorld-Wide High Performance Computing環境 (インターネットコンファレンス'97論文集) -- (Session 3(Application)〔和文〕)
- ネットワーク数値情報ライブラリ : Ninfを用いた数値計算環境システムの開発 : NinfCalcの試作
- ソート集合のある分割に対する並列アルゴリズムについて
- マルチメディアを用いた導入教育
- 細粒度スケジューリング方式研究のためのオープンな評価システム
- 1995年並列/分散/協調処理に関する「別府」サマー・ワークショップ参加報告
- 制御依存制約を排除したプログラム表現形式と細粒度並列計算機のためのオブジェクトコード最適化
- 命令再構成型VLIWプロセッサV++における2つの再構成機能の評価
- バリア同期のためのタスクスケジューリングアルゴリズムとその性能評価
- 命令再構成型VLIWプロセッサV++における適応型再構成戦略
- 重複可能なバリア型同期のための最適バリアスケジューリング
- 概念制約式を用いたプログラミングを可能にするコンパイル手法
- バリアを唯一の同期手段とした場合のタスクスケジューリング
- 自己組織系集団による通信の進化の試み
- ランギーII:仮想的生物による通信の進化
- 複数種の生物集団の共存する人工生命環境の設計
- 概念制約式を用いたプログラミングとプログラム合成
- 岡崎市立図書館事件とその教訓 (特集 本と自治体の関係・明と暗)
- m台の機械, S人の段取り作業者からなる生産システムの特性解析
- 受動資源と能動資源を有する待ち行列システム
- パネル討論「今後のP2Pソフトウェア」(サイバー増大号)
- 星状多角形内の同期式自律分散ロボットの一点集合問題
- 2連結グラフに対するATM網に適した最適な耐故障性ルーティング
- 点集合の強凸-包含を求めるアルゴリズム
- スーパーキューブの耐故障性について
- 2辺連結グラフの4分割について
- グラフのあるk-分割問題に対する効率的なアルゴリズムについて
- 重みつきグラフのk分割問題について
- 3個の空位をもつN×M-平面自動倉庫(N,M≧3)の最小歩数関数
- 異なる半径の数を限定した円集合の凸包を求める最適並列アルゴリズム
- 誤差耐性のある強凸包構成問題に対する並列解法
- 拡張超立方体グラフに対する耐故障性路線割当と直径罹障度
- 円集合の凸包を求める効率の良い並列アルゴリズム
- コンパイラ教育支援システムにおける属性文法に基づく意味解析系提示ツールの作成
- アルゴリズムの可視化に基づくコンパイラ教育支援システム
- k-辺連結有向(無向)グラフに対する高信頼性路線割当の存在条件と計算量
- 通信網に対する高信頼性最適路線割当ての存在条件と計算量の改善
- 3個の空位を持つN×M-平面自動倉庫の最小歩数関数
- 連結グラフの(L,κ)-辺分割線形時間アルゴリズムとκ-辺連結グラフに対する高信頼性路線割当
- 3連結グラフにおける3-独立木構成アルゴリズムと2点間の内点独立路を求めるアルゴリズム
- 不正アクセス行為の2つの文理解釈について
- ユビキタス社会に潜むプライバシーの落とし穴 前編 RFIDタグのプライバシー問題
- 対談 IT時代のプライバシー論議 親と社会の「見守り」欲望が蔓延している (特集 「子どもの安全」を考える)
- 対論 「工学化」する書物と社会をめぐって
- xORBを作ろう--How to House-brew Your own ORB(完)総集編
- xORBを作ろう--How to House-brew Your Own ORB(6)メタシステムの高速化
- xORBを作ろう--How to House-brew Your Own ORB-5-ORB以外への応用
- xORBを作ろう--How to House-brew Your own ORB-1-サ-バソケットとオブジェクト渡し
- Java最前線 8 JavaTMに関する技術・応用・表現大賞′97報告
- xORBを作ろう--How to House-brew Your Own ORB-4-比較,改良,そして比較
- 緊急企画 ウィニー騒動の本質 あまりにも情報流出のリスクが大きい (インターネットの新局面)
- 特別インタビュー 産業技術総合研究所 高木浩光 ユビキタス社会に潜むプライバシーの落とし穴(後編)固定されたIDがもつ危険性
- WWWを用いた行列生成システム : Matrix Workshopの開発
- Webのセキュリティ--基本的な考え方と脆弱性対策 (講演録 平成20年度セキュリティセミナー開催報告)
- 漢字および漢字熟語の声形符号
- 3. Webアプリケーションにおける脆弱性(2. 情報システムを構成する基盤技術における脆弱性, 情報社会における脆弱性にかかわる研究動向)
- 結論なんか書けない(インタラクティブ・エッセイ)
- Javaセキュリティ・ホールにみる企業責任(インタラクティブ・エッセイ)
- 非阻塞グラフに関する一考察
- 実行タイミングの動的変動に強い静的プロセッサスケジューリング
- 複数パイプラインのステージレベル静的スケジューリング
- 問題が持つ先行関係のみを保証する高速な静的実行順序制御機構
- 実行タイミングの動的変動に強い静的スケジュール法「DP-DTSP」の特性評価
- PNプロセッサの機能分割とトークン通信に関する評価
- PNプロセッサにおけるフロー制御方式について
- 故障発生時の連結性判定問題を解く分散アルゴリズムについて
- 点数の少ない多重サイクルグラフ上の耐故障性路線割当
- 多重サイクルグラフ上の高信頼性路線割当の構成
- 故障耐性の高い路線割当をもつ通信網の構成問題
- 直径の小さいグラフとその上の耐故障性路線割当ての構成
- 有向,無効グラフに対する最適なt-spannerの構成について
- 一般化された埋込み方式のもとでのグラフの埋込み面積の上・下界
- 一般のグラフの埋込み面積のMax-Min下界
- 技術が社会基盤となるとき,我々は何をすべきか : ウェブにおけるPKI応用の例に学ぶ
- 利用者の誤認を誘発する利用者情報送信アプリの法的リスク (データ活用ビジネスとプライバシー問題)
- 「情報処理学会論文誌 : プログラミング」の編集について
- 多重サイクルグラフ上の高信頼性路線割当ての構成
- 一般化された埋込み方式のもとでのグラフの埋込み面積の上・下界
- 故障が存在する計算機網に対する連結性判定分散アルゴリズム
- 直径の小さいグラフとその上の耐故障性路線割当ての構成
- 一般のグラフの埋込み面積のMax-Min下界
- 点数の少ない多重サイクルグラフ上の耐故障性路線割当