中島 玲二 | (財)京都高度技術研究所:京都大学数理解析研究所
スポンサーリンク
概要
関連著者
-
中島 玲二
(財)京都高度技術研究所:京都大学数理解析研究所
-
中島 玲二
京都大学数理解析研究所
-
田辺 誠
字部工業高等専門学校
-
角田 誠
エヌ・ティ・ティ・コムウェア(株)基礎技術本部
-
角田 誠
NTTコムウェア株式会社
-
林 良生
オムロン株式会社
-
川勝 則孝
株式会社 東芝
-
田辺 誠
京都大学数理解析研究所
-
新出 尚之
奈良女子大学理学部
-
乾 和志
オムロン株式会社技術本部企画室
-
服部 隆志
慶應義塾大学環境情報学部
-
渡辺 昌寛
エヌ・ティ・ティ・コムウェア(株)基礎技術本部
-
伊藤 徹
京都大学数理解析研究所
-
泉田 大宗
京都大学数理解析研究所
-
田辺 誠
PREST21, Japan Science and Technology Corporation
-
林 良生
京都大学数理解析研究所
-
川勝 則孝
京都大学数理解析研究所
-
竹中 一起
住友金属工業(株)
-
服部 隆志
京都大学数理解析研究所
-
柴山 悦哉
東京工業大学大学院情報処理工学研究科数理・計算科学専攻
-
小島 啓二
(株)日立製作所 システム開発研究所
-
桜川 貴司
京都大学数理解析研究所
-
新出 尚之
京都大学数理解析研究所
-
柴山 悦哉
東京工業大学大学院情報理工学研究科
-
柴山 悦哉
東京工業大学数理・計算科学専攻
-
山下 大介
Sobaプロジェクト:財団法人 京都高度技術研究所
-
緒方 敏博
株式会社sobaプロジェクト研究開発室
-
吉田 信明
(財)京都高度技術研究所
-
緒方 敏博
(財)京都高度技術研究所SOBAプロジェクト
-
山崎 樹弥
財団法人京都高度技術研究所
-
新納 正康
SOBAプロジェクト
-
中島 玲二
京都大学 数理解析研究所
-
湯浅 太一
京都大学数理解析研究所
-
本田 道夫
香川大学経済学部
-
中原 早生
京都大学理学部
-
吉田 信明
京都大学数理解析研究所
-
小島 啓二
日立製作所中央研究所
-
新出 尚之
奈良女子大学
-
吉田 信明
京都高度技術研究所
-
乾 和志
オムロン株式会社
-
新納 正康
Sobaプロジェクト:財団法人 京都高度技術研究所
-
竹中 一起
住友金属工業
著作論文
- TCCT : タイマを柔軟に制御可能な時間付きプロセス計算
- 時間イベントパターンマッチング
- Real-Time Synchronization Machines for Continuous Media Data(Concurrency Theory and Applications '96)
- Towards a Formal Framework for Multimedia Data and Their Players With QoS
- RACCO:実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語
- モジュラー・プログラミングのための支援環境
- A-7-3 P2P アプリケーションフレームワーク SOBA のセキュリティ機構
- B-19-18 ネットワーク上にP2Pで構築された共有空間の維持(B-19. ネットワークソフトウェア, 通信2)
- B-6-188 SOBAフレームワークにおけるファイアウォール越えのP2P通信手法(B-6. ネットワークシステム)
- B-6-187 SOBAフレームワークによるP2Pネットワーク上の共有情報伝搬機構(B-6. ネットワークシステム)
- B-15-9 ネットワーク上に構築されたP2P仮想共有空間への携帯端末からの参加(B-15.モバイルマルチメディア通信)
- ソフトウェアの形式的開発技法,その実用化への課題 : IFIP'83パネル討論会から
- Ada「批判」 (プログラミング言語 : PascalとAda)
- Proposal of Programming and Verification Scheme : Program Verification Integrated with Structured Programming (計算機構の数学的研究)
- 当世ワ-クステ-ション事情