書き換え理論に基づく有機的プログラミング言語GAEAの意味
スポンサーリンク
概要
- 論文の詳細を見る
並行システムの動作の詳細を把握するのは一般的には困難である.本研究では, 並行システムの例として有機的プログラミング言語GAEAをとりあげる.本言語は有機的プログラミングと呼ばれる新しいソフトウェア構築方法論に基づいておりプログラムの動的変更や並行処理が可能である.この言語はPrologを基礎としてるので並列論理型プログラミング言語と考えることができる.そこで本言語は並行システムとみなし, そのシステムの計算状態や動作の明示的な記述を試みている.その記述は状態を持つ並行システムの動的変化が表現可能な書き換え論理を用いて与えている.
- 社団法人電子情報通信学会の論文
- 1998-09-22
著者
-
石川 洋
福山大学工学部
-
石川 洋
福山大学工学部情報処理工学科
-
二木 厚吉
北陸先端科学技術大学院大学情報科学研究科
-
渡部 卓雄
北陸先端科学技術大学院大学
-
渡部 卓雄
東京工業大学大学院情報理工学研究科計算工学専攻
関連論文
- Gastrointestinal stromal tumor(GIST)の終末期の特徴とターミナルケア (特集 臓器別 消化器癌終末期の特徴とターミナルケア)
- 肝細胞癌に対する経皮的ラジオ波焼灼療法による遅発性横隔膜ヘルニア嵌頓の1例
- RS-146 胃上部早期癌に対する噴門側胃切除・空腸間置術の長期QOLの検討(要望演題7 胃機能温存術,第63回日本消化器外科学会総会)
- WS-7-6 イマチニブ治療におけるGIST二次耐性腫瘍 : KIT遺伝子解析からみた集学的治療の必要性(第107回日本外科学会定期学術集会)
- O-2-368 食道切除・胃管再建術後における慢性貧血(食道 サルベージ,一般演題(口演),第63回日本消化器外科学会総会)
- 胃癌に対する腹腔内三部位洗浄細胞診(体腔洗浄細胞診と予後, 第44回日本臨床細胞学会秋期大会)
- ソフトウェア科学会第3回大会
- RS-248 胃癌ESD後手術症例の臨床病理学的検討(要望演題13-1 早期胃癌の治療1,第63回日本消化器外科学会総会)
- WS-8-10 再発性GISTにおけるイマチニブ治療 : 分子標的薬をもちいた集学的治療のモデル疾患として(ワークショップ8 再発腫瘍の外科治療法および集学的治療方針-食道・胃-,第63回日本消化器外科学会総会)
- 23 腹腔細胞診陽性胃癌に対するTS-1/CDDP術前化学療法の検討(I.一般演題,第67回新潟癌治療研究会)
- 20 当院における腹腔鏡下大腸手術の現況(一般演題,第264回新潟外科集談会)
- A-4-6 多次元畳み込み信号の分解法(A-4. ディジタル信号処理)
- 多項式の因数分解を利用した劣化画像の復元法
- 制約付き悪条件連立1次方程式の解法
- GISTの診療におけるPET検査の応用 (特集 外科医に必要なPET検査の知識--その有用性と問題点)
- 交通工学と制御工学の統合による交通流制御システムの設計
- 交通ネットワークの交通流制御に関するシステム理論的考察(モバイルユビキタス時代のネットワークとサービス(キーワード: ユビキタス, センサーNWネットワークアーキテクチャ, Ad-Hoc, 及び, そのアプリケーションなど))
- 都市道路網の信号制御に関するシステム理論的考察
- 交通ネットワークの渋滞長制御(ITS)
- 交通ネットワークにおけるOD旅行時間の解析と算定
- 都市道路網における交通流円滑化システムの一設計(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
- 都市道路網における交通流円滑化システムの一設計
- 信号交差点における交通流ダイナミクスの解析(ITS情報処理・一般)
- WS-5-8 残胃癌切除症例の臨床病理学的特徴と遠隔成績(ワークショップ5 残胃癌に対する治療戦略,第64回日本消化器外科学会総会)
- WS-4-5 転移・再発性GISTに対するイマチニブ治療 : 二次耐性出現と耐性腫瘍切除の治療成績(第108回日本外科学会定期学術集会)
- P-3-69 胃上部臨床的早期癌における噴門側胃切除術適応の妥当性(胃・十二指腸 早期癌2,一般演題(ポスター),第64回日本消化器外科学会総会)
- RS-24-5 イマチニブ耐性GISTに対する動脈化学塞栓療法(要望演題24-1 消化管GISTに対する診断と治療1,第64回日本消化器外科学会総会)
- 13 高齢者食道癌に対し根治的化学放射線療法後にSalvage手術を施行した3例の検討(一般演題,第82回新潟消化器病研究会)
- P-2-29 食道癌術後患者における肺炎発生率および危険因子についての検討(食道 術後合併症および再発,一般演題(ポスター),第64回日本消化器外科学会総会)
- B-2 代数仕様言語CafeOBJにおけるモデル検査(プログラムの理論,B.ソフトウェア)
- AS-3-3 代数仕様に基づく実時間システムの検証(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- 電子社会と法令工学(法情報学最前線)
- 30 転移・再発性GISTに対する分子標的治療 : イマチニブ耐性腫瘍の遺伝子学的特徴(一般演題,第261回新潟外科集談合)
- パネル討論会 : 理輪は実践を導けるか,実践は理論を生かせるか? : 第1回プログラミング : 言語・基礎・実践 研究会報告
- 項書換えコンパイラに関する一考察
- リファクタリングによるソフトウェアの品質向上に関する考察
- 項書換え系に基づく定理証明支援環境の構築
- 実行可能な形式仕様言語CafeOBJ(4) : CafeOBJによるZ仕様のアニメーションの枠組み
- 実行可能な形式仕様言語cafeOBJ(3) : CafeOBJによるオブジェクト指向システムの仕様記述ライブラリの記述
- 実行可能な形式仕様言語CafeOBJ(2) : Cafeシステムの核アーキテクチャ
- 実行可能な形式仕様言語CafeOBJ(1) : CafeOBJの宣言的意味論
- 振舞仕様に基づくシステムの記述方法
- 代数仕様言語OBJによる並行分散システムの形式仕様作成法
- RB-003 An algebraic specification of message passing programming languages
- CafeOBJ入門(6) : 通信プロトコルの検証
- CafeOBJ入門(5) : 認証プロトコルの検証
- CafeOBJ入門(4) : 証明譜による検証法(エージェント)
- CafeOBJ入門(3) : 等式推論と項書換システム
- Maude : 書換え論理に基づく計算機言語および処理系(ソフトウェア紹介)
- CafeOBJ入門(2) : 構文と意味
- CafeOBJ入門(1) : 形式手法とCafeOBJ
- LA-008 実行可能な代数仕様の停止性証明について(モデル・アルゴリズム・プログラミング)
- モジュラーな代数仕様言語のための項書き換えシステム(システム検証の科学技術)
- OTS/CafeOBJからOTS/Maudeへの仕様変換の研究
- 項書き換えシステムにおける可簡約演算子とその応用
- 項書き換えシステムにおける可簡約演算子とその応用
- STSプロトコルの形式化と検証によるCafeOBJとCoqの比較
- B-036 代数仕様言語CafeOBJと証明支援系CoqによるSTSプロトコルの形式化と検証(B.ソフトウェア)
- B-034 隠蔽代数に基づく命令型プログラム言語の意味論の記述と検証(B.ソフトウェア)
- UMLによる折り紙シミュレーションシステムの設計
- 交通ネットワークの交通流制御に関するシステム理論的考察(モバイルユビキタス時代のネットワークとサービス(キーワード: ユビキタス, センサーNWネットワークアーキテクチャ, Ad-Hoc, 及び, そのアプリケーションなど))
- 形式仕様記述に基づく検証の自動化
- 都市道路網における交通流円滑化システムの一設計(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
- 階層型ニューラルネットワーク間の競合による画像の領域分割
- 信号交差点における交通流ダイナミクスの解析(ITS情報処理・一般)
- 多項式の因数分解を利用した畳み込み画像の分解法
- PCクラスタにおける並列計算の動的負荷分散
- 都市道路網の渋滞制御システム
- アコヤガイの人工授精における媒精時間の違いが受精率および幼生の成長に及ぼす影響
- 消化管間質腫瘍(GIST) (特集 悪性腫瘍の術中病理診断を効果的に活用する--どこを検索すべきか,どう対応すべきか)
- 抑制飼育期間におけるアコヤガイの閉殻力および軟体部諸形質の変動
- 交通ネットワークにおけるOD旅行時間の解析と算定
- 交通量収支に基づく交通流円滑性の解析
- 低塩分海水養生によるキズ・シミの無い真珠の生産率向上効果
- 上部消化管穿孔に対する外科治療 (特集 急性腹症の手術)
- 複数の階層型ニューラルネットワークを用いた画像の領域分割
- スコーレム標準形を用いたZ仕様の代数仕様への変換
- 交通ネットワークの渋滞長制御(ITS情報処理・一般)
- 交通ネットワークの渋滞長制御
- 判別分析法を用いた劣化画像からのエッジ領域の自動抽出法
- 形式仕様言語Z
- GUIを用いたZ仕様検証支援環境の提案
- 有機的プログラミング言語GAEAの代数仕様記述
- 有機的プログラミング言語GAEAの単一化の代数仕様記述
- 有機的プログラミング言語GAEAの単一化について
- 書き換え理論に基づく有機的プログラミング言語GAEAの意味
- PD-4-1 新規抗癌剤著効例に対するサルベージ胃切除の意義 : 多施設共同研究より(PD4 パネルディスカッション(4)StageIV胃癌に対する外科治療の現状と方向性,第111回日本外科学会定期学術集会)
- PS-121-2 虚血性心疾患併存胃癌に対する胃切除例の実態と予後について(PS-121 ポスターセッション(121)胃:周術期管理-1,第111回日本外科学会定期学術集会)
- PS-011-4 噴門側胃切除術,空腸間置再建の適応と長期成績(PS-011 ポスターセッション(11)胃:手術-2,第111回日本外科学会定期学術集会)
- SF-028-2 T4食道癌に対する外科治療(SF-028 サージカルフォーラム(28)食道:手術-3,第111回日本外科学会定期学術集会)
- 水温一定の水槽を用いた養生によるアコヤガイの脱核低減法
- 日本産アコヤガイ Pinctada fucata martensii における閉殻力の遺伝
- 近赤外分光法による閉殻力の強いアコヤガイの簡易選別
- 携帯型近赤外分光計によるアコヤガイの栄養状態の非破壊評価
- マイクロプレートを用いたアコヤガイの人工授精方法
- GISTに対する化学療法後の手術 (特集 「切除困難例」への化学療法後の手術 : 根治切除はとこまで可能か)
- PS-072-3 臨床的SM胃癌に対するD2郭清の意義と成績(PS-072 胃 リンパ節郭清,第112回日本外科学会定期学術集会)
- PS-125-7 慢性透析患者の胃癌に対する胃切除術の実態と予後について(PS-125 胃 周術期-1,ポスターセッション,第112回日本外科学会定期学術集会)
- PS-064-2 食道癌術後の胸腔ドレーン管理(PS-064 食道 周術期管理・内視鏡,第112回日本外科学会定期学術集会)
- 抑制飼育期間におけるアコヤガイの閉殻力および軟体部諸形質の変動