簡潔な並行言語L0 : 論理型と関数型プログラミングを越えて
スポンサーリンク
概要
- 論文の詳細を見る
GHC, Ozなどに代表される並行言語が持つ様々な機能を検討し, より簡潔な要素から成る並行言語L0を設計した. L0の特徴は, モード付き論理変数, λ項による述語の抽象, 任意の変数スコーピング, 制御のための宣言的な結合子などである. 本論文ではL0の構文と実行規則を与え, 幾つかのプログラム例を示す. L0の記述力や構成要素などに関して議論を行う.
- 一般社団法人情報処理学会の論文
- 1996-09-03
著者
-
山崎 憲一
(株)NTTドコモ先進技術研究所
-
平田 圭二
NTT基礎研究所
-
原田 康徳
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
原田 康徳
NTT基礎研究所
-
山崎 憲一
NTT基礎研究所
-
原田 康徳
日本電信電話株式会社コミュニケーション科学基礎研究所
関連論文
- 全国大会は社会の窓(特別インタビュー,写真で綴る情報処理学会全国大会50年史,50周年記念特集号)
- 携帯電話端末のためのNW支援によるWebアプリケーションキャッシング技術(インターネット)
- グリーンネットワークに向けたリンク省電力化手法(フォトニックネットワーク関連技術,一般)
- 実世界モデリングを用いたトリガー削減方法(位置情報・動線解析(2))
- 環境トリガーに基づくサービス提供プラットフォーム(セッション6)
- 環境トリガーに基づくサービス提供プラットフォーム
- 計算機アーキテクチャ研究会第100回記念歴代主査特別講演
- 米国政府による情報技術への研究支援 : NSFとDARPAの事例研究
- パネル討論会「コンピュータサイエンスとしての音楽情報処理」の報告 : 第52回全国大会シンポジウム
- 記号処理におけるベンチマーク (ベンチマーク)
- サ-バクライアントモデルに基づく情報提供方式 (分散形ソフトウェア開発基本環境)
- 優れたユーザインタフェースを持つデスクトッフ゜LispマシンMacELIS
- デスクトップLispマシンMacELISのハードウェア
- モノとヒトの関係に基づくサービス提供先発見手法(位置・インタラクション(1))
- RFIDタグの検出情報に基づく述語の信頼性を考慮した実世界状況記述手法
- ユビキタスサービス実現のためのソフトウェアアーキテクチャに関する一検討(テーマセッション(3))(ユビキタスコンピューティングのためのパターン認識・メディア理解,一般)
- 環境理解型サービスのための実世界モデル記述手法(フレームワーク)
- 実時間記号処理システムTAO/SILENTにおける軽量プロセスの実現
- Web2.0とモバイルインターネットの動向(モバイルネットワーク,マルチメディア通信,WEBサービス及び一般)
- 携帯電話端末のためのNW支援による Web アプリケーションキャッシング技術
- 映像フィードバックに伴うエコーのキャンセリング法に関する実験的評価(一般セッション,一般物体認識・画像特徴量)
- 似たモノどうしをグループ化するためのセンサ用分散ミドルウェア(センサーネットワーク・ユビキタス)
- 似たモノどうしをグループ化するためのセンサ用分散ミドルウェア
- 柔軟なユビキタスサービス提供のためのセンサ情報処理方式
- ハービー君 : 演繹オブジェクト指向に基づいてジャズらしいコードにリハーモナイズするシステム
- 特集「音楽情報処理」の編集にあたって
- D-3-6 非同期処理を含むWebアプリケーション部品制御手法(D-3. ソフトウェアサイエンス,一般セッション)
- B-15-24 移動体向け暗号化オンラインストレージ(B-15. モバイルマルチメディア通信,一般セッション)
- B-7-99 WebブラウザにおけるDOM生成についての考察(B-7. 情報ネットワーク,一般セッション)
- B-7-77 オーバレイネットワークにおける階層間連携に関する検討(B-7. 情報ネットワーク,一般セッション)
- B-6-10 Webアプリケーションを考慮したプロキシサーバの検討(B-6. ネットワークシステム,一般セッション)
- B-15-2 移動体向けWeb ApplicationのためのDisconnected operationにおけるリソース優先順位付け手法(B-15.モバイルマルチメディア通信,一般講演)
- B-7-8 サーバ支援型メタ情報生成機構に関する検討(B-7.情報ネットワーク,一般講演)
- B-6-40 複数ネットワークインタフェースを用いた仮想化技術の検討(B-6.ネットワークシステム,一般講演)
- B-7-167 サーバ支援型電子メール検索に関する検討(B-7.情報ネットワーク,一般講演)
- B-7-143 携帯端末に適したWebキャッシュ方式(B-7.情報ネットワーク,一般講演)
- AODVにおけるGhost Attackとその防御法(セッション2:セキュリティ)
- アドホックネットワークにおけるブラックホール攻撃に対する防御法の提案と実装・評価(セッション2:セキュリティ)
- AODVにおけるGhost Attackとその防御法(セッション2:セキュリティ)
- アドホックネットワークにおけるブラックホール攻撃に対する防御法の提案と実装・評価(セッション2:セキュリティ)
- B-7-41 端末間サービス移動における端末及びコンテンツの決定方法(B-7.情報ネットワーク,一般講演)
- 身体の動きをともなう遠隔協調作業における上半身映像の効果
- 場の意味を考慮したユーザの状況推定(セッション1:ユビキタス1)(ユビキタスモバイルサービス)
- 場の意味を考慮したユーザの状況推定(セッション1 : ユビキタス1)(ユビキタスモバイルサービス)
- モノとヒトの関係に基づくサービス提供先発見手法
- B-7-58 Resource-awareシームレスサービスにおけるサービス移動方式の一検討
- B-7-57 Resource-aware シームレスサービスアーキテクチャ
- B-7-56 Resource-awareシームレスサービスの要求条件
- B-7-55 Resource-aware シームレスサービスのコンセプト
- Resource-awareシームレスサービスアーキテクチャ
- Resource-awareシームレスサービスアーキテクチャ
- t-Roomにおける接続先実行環境を考慮した動的制御の提案と開発
- t-Roomにおける接続先実行環境を考慮した動的制御の提案と開発
- B-7-168 モバイル環境におけるRSSプロキシ技術の提案(B-7.情報ネットワーク,一般講演)
- 広帯域無線アクセスむけデータ送信量自動調整方法の提案 (インターネットコンファレンス2007論文集)
- NW支援型分散処理による移動通信のサービス継続技術 : Twin Agentsの実装と評価(ユビキタスサービスを支えるネットワーキング技術論文)
- B-7-89 センサデータを用いたセンサの位置に基づくグループ化(B-7. 情報ネットワーク, 通信2)
- 2.インターネットの未来を展望する2-2ユビキタス : ユビキタスサービス(インターネットの歴史と将来展望)
- t-Roomにおける接続先実行環境を考慮した動的制御の提案と開発
- 座席配置替えが遠隔ビデオコミュニケーションに及ぼす影響について
- 未来の電話「t-Room」のための開発支援システムの提案
- Fuzzy Rewriting : 例を用いたアニメーション表現法
- 空間分割型TV会議システムにおけるマルチトピック会話制御法の検討 (ライフインテリジェンスとオフィス情報システム)
- A-7-24 Weighted-graph-based privacy protection model for Ubiquitous Computing(A-7. 情報セキュリティ, 基礎・境界)
- 演繹オブジェクト指向に基づくジャズピアノ知識ベースシステムの試作
- IJCAI'97ワークショップ「AIと音楽における課題-評価」の開催報告
- 特集「第五世代コンピュータプロジェクトの成果と残された課題」の編集にあたって
- FGHCプログラムの意味を考える道具としての$\pi$計算(並行計算の理論とその応用)
- 第1回インタラクティブシステムとソフトウェアに関するワークショップ
- 音楽の表現手法
- 情報検索のための高速日本語形態素解析システム「すもも」 (第54回全国大会 (平成9年前期 於 : 千葉工大) 大会優秀賞受賞論文 (11件)
- 情報検索のための高速日本語形態素解析システム「すもも」
- 未来の電話「t-Room」のための開発支援システムの提案
- Lispへのオブジェクト指向の自然な導入
- 融合型言語TAOにおける構造データと未定義値の扱い
- マルチパラダイム言語TAOにおける論理型プログラム処理系の実装
- 実行機構の類似性に着目した関数型言語と論理型言語の融合 (新しいシステムソフトウェア)
- あるマシン工房の事例 : TAO/SILENTの開発
- 記号処理カーネルSILENTのハードウェア構成
- 実時間記号処理のためのイベントボックス
- 実時間記号処理のためのイベントボックス
- TAOのパッケージシステム
- TAOのコンカレンシ・コントロール
- 簡潔な並行言語L0 : 論理型と関数型プログラミングを越えて
- 分散プログラムの動作理解のための分散プロファイラ
- サービス連続性と環境適合性に基づいた端末間サービス移動制御方式(セッション5)(モバイルシームレス)
- 端末間サービス移動におけるサービス連続性に関する主観評価実験(モバイルQos, ユビキタス, アドホックNW, 及び一般)
- 端末間サービス移動におけるサービス連続性に関する主観評価実験(モバイルQos, ユビキタス, アドホックNW, 及び一般)
- 端末間サービス移動のためのシームレスサービス環境プラットホーム(モバイル/ワイヤレスネットワーク)(インターネットアーキテクチャ技術論文)
- 条件クラス : データ抽象なしの多相と継承
- シームレス/ユビキタスサービスサポート (New Technology Report モバイルネットワークAII-IP化特集--モバイルとインターネットの融合を目指して)
- CCC : データの内部表現に依存しないオブジェクト指向
- TAO における論理型プログラミングとその処理方式
- MapReduceプログラミングモデルに即したReduceフェーズのData Skew動的緩和方法
- ユビキタスサービスとその技術課題(ユビキタス・サービス)
- 「日本のマイクロプロセッサ技術」の編集にあたって
- 特集「計算機システムを支える最新技術(インタフェース編)」の編集にあたって
- 特集「計算機システムを支える最新技術(装置編)」の編集にあたって
- TAO/ELISにおける論理型プログラムのコンパイラ
- D-6-24 高速不揮発性メモリを用いた計算機システムに関する考察(D-6.コンピュータシステムC(ソフトウェア),一般セッション)