| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2019-03-04 09:50 |
沖縄 | 沖縄産業支援センター | 時間付き可逆プロセス計算の合同性について ○山本 暁・結縁祥治（名大）  SS2018-53 |
本研究では、並行計算の形式的体系の1つであるプロセス計算を拡張して、可逆性と離散時間遷移を付与したTimed RCCS(... [more] | SS2018-53 pp.7-12 |
| DC, SS (共催) |
2018-10-04 15:50 |
愛知 | 犬山国際観光センター「フロイデ」 | 継続渡しスタイルの関数型プログラミング言語における分散処理の記述 ○井原 唯・小島 渚・島 和之（広島市大） SS2018-21 DC2018-22 |
これまでの研究として，継続渡しスタイル（以下，CPS）のラムダ計算を簡潔に表現し，CPSのラムダ式の部分適用について合流... [more] | SS2018-21 DC2018-22 pp.19-24 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 11:30 |
北海道 | 北海道・帯広市 とかちプラザ 視聴覚室／大集会室 | 時間付き可逆プロセス計算 ○山本 暁・結縁祥治（名大） SS2018-5 KBSE2018-15 |
本研究では、並行動作する実時間システムに対して、可逆性を付与した効率的なデバッグのモデルとして、並行計算の形式的体系の1... [more] | SS2018-5 KBSE2018-15 pp.25-30 |
| CCS | 2016-08-10 12:30 |
北海道 | 余市町中央公民館 | ［依頼講演］位相幾何学的アプローチに基づくネットワークセンシングとその応用 ○中田一紀（広島市大）・三浦佳二（関西学院大） CCS2016-25 |
位相幾何学的アプローチによるネットワークセンシングとその応用について概説する．最近の共同研究について，それぞれの課題の問... [more] | CCS2016-25 pp.47-52 |
| SS, MSS (共催) |
2016-01-26 11:30 |
石川 | しいのき迎賓館 セミナールームB | ハイブリッドシステムに対するCCSの拡張について ○川北悠人・結縁祥治（名大） MSS2015-58 SS2015-67 |
連続的な振舞いと離散的な振舞いを同時にモデル化するハイブリッドシステムの記述において，Schniderらによって提案され... [more] | MSS2015-58 SS2015-67 pp.129-134 |
| DC, SS (共催) |
2015-10-13 13:50 |
奈良 | 東大寺総合文化センター | HCCSによる再帰的ハイブリッドシステムの記述 ○川北悠人・結縁祥治（名大） SS2015-36 DC2015-26 |
連続した振舞いと通信としての離散的振舞いを記述可能なCCSの拡張としてHCCSがNestmannらによって提案されている... [more] | SS2015-36 DC2015-26 pp.7-12 |
| SS | 2015-05-11 13:30 |
熊本 | 熊本大学 | ハイブリッドプロセス計算を用いたスーパーバイザ合成について ○川北悠人・結縁祥治（名大） SS2015-2 |
本研究では，CCSの拡張であるハイブリッドプロセス計算HCCSを用いて，ハイブリッドシステムの制御を行うスーパーバイザを... [more] | SS2015-2 pp.7-10 |
| SS | 2011-03-08 09:50 |
沖縄 | 沖縄県青年会館 | 否定前件を含む構造操作意味定義に対するプロセス計算コンパイラ ○伴 潤・結縁祥治（名大） SS2010-70 |
構造操作意味定義(Structural Operational Semantics, SOS)は並行プロセス計算の操作的... [more] | SS2010-70 pp.103-108 |
| SS, KBSE (共催) |
2009-05-22 10:30 |
秋田 | 秋田大学 手形キャンパス | Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築 ○伴 潤・今井敬吾・結縁祥治（名大） SS2009-9 KBSE2009-9 |
本稿では，プロセス計算の操作意味を定義するときに一般的に用いら れる構造操作意味定義(SOS)によって定義されるラベル... [more] |
SS2009-9 KBSE2009-9 pp.49-54 |
| SS | 2005-12-20 11:15 |
高知 | 高知女子大 | 分散JoinJAVAプログラムの通信エラーに対する型判定システム ○佐伯昌樹・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大） |
分散JoinJAVAはJoin算法をJAVAの記述が出来るよう拡張した言語である．JAVA プログラムでは複雑となる... [more] |
SS2005-67 pp.25-30 |
[研究会発表申込システムのトップページに戻る]