| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2020-03-05 11:15 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
継続を基本とする言語CbCでのHoareLogicによる健全性の考察 ○外間政尊・河野真治（琉球大）  SS2019-54 |
CbC は継続を主とする言語上で、HoareLogicをベースとした検証を提案している。 OSなどの手続き型の記述に対... [more] |
SS2019-54 pp.79-85 |
| MSS, SS (共催) |
2019-01-16 13:30 |
沖縄 | 沖縄県青年会館 | GearsOSのHoare Logicをベースにした検証手法 ○外間政尊・河野真治（琉球大） MSS2018-74 SS2018-45 |
Gears OS は継続を主とするプログラミング言語 CbC で記述されている。 OS やアプリケーションの信頼性を上... [more] |
MSS2018-74 SS2018-45 pp.109-114 |
| ICM, LOIS (共催) |
2013-01-17 13:20 |
佐賀 | 佐賀市民会館 | 高負荷分散オブジェクトストレージにおけるサイト間複製処理の改善 陣内一喜・○加藤 稔（NTTコムウェア）・河野慎司（NTTインターネット）・今崎充智（NTTコムウェア） ICM2012-44 LOIS2012-54 |
クラウドコンピューティング時代の現在において，ユーザはネットワーク端末を利用して事業者の提供する広大なストレージを利用し... [more] | ICM2012-44 LOIS2012-54 pp.41-46 |
| SS | 2011-03-08 10:15 |
沖縄 | 沖縄県青年会館 | GameFrameWork CeriumにおけるSequentialなGame Programの分割と動作の検証 ○小林佑亮・河野真治・多賀野海人・金城 裕（琉球大） SS2010-71 |
本稿では Sequential なゲームプログラムを 逐次実行した時と、Task に分割し実行した時の動作 が同一である... [more] | SS2010-71 pp.109-113 |
| VLD, ICD (共催) |
2008-03-06 13:25 |
沖縄 | 沖縄県男女共同参画センター | ［招待講演］検証を自身で表現できるハードウェア、ソフトウェア記述言語Continuation based CそのCellへの応用 ○河野真治（琉球大） |
[more] | |
| VLD, ICD (共催) |
2008-03-06 14:15 |
沖縄 | 沖縄県男女共同参画センター | CからCellアーキテクチャを利用したCbCへの変換 ○神里 晃・河野真治（琉球大） |
我々は状態遷移記述に向いたCの下位言語であるContinuation based C(CbC)を提 案している。今回C... [more] |
|
[研究会発表申込システムのトップページに戻る]