| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| 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-19 16:55 |
北海道 | 北海道・帯広市 とかちプラザ 視聴覚室／大集会室 | Concurrent Execution Semantics of the Functional Programming Language in Continuation Passing Style Based on the Actor Model ○Nagisa Kojima・Kazuyuki Shima・Akio Nakata（Hiroshima City Univ.） SS2018-14 KBSE2018-24 |
[more] | SS2018-14 KBSE2018-24 pp.161-166 |
| SS, MSS (共催) |
2018-01-18 14:40 |
広島 | 広島市立大学サテライトキャンパス | 継続渡しスタイルの関数型プログラミング言語のインタプリタによる並行処理の設計 ○小島 渚・島 和之（広島市大） MSS2017-55 SS2017-42 |
これまでの研究として，継続渡しスタイル（以下，CPS）のラムダ計算を簡潔に表現し，CPSのラムダ式の部分適用について合流... [more] | MSS2017-55 SS2017-42 pp.47-52 |
| SS, DC (共催) |
2017-10-19 13:15 |
高知 | 高知市文化プラザかるぽーと | 動的型付き手続き型言語の変更影響分析と振る舞い同定のためのラムダグラフ書き換え系に向けて ○山本晃治（富士通研） SS2017-21 DC2017-20 |
ソースコードの静的解析を行うことで，関数・メソッドに対する処理内容の変更前後差異の特定，呼び出し関係の抽出，引数の利用先... [more] | SS2017-21 DC2017-20 pp.1-6 |
| COMP | 2013-10-18 11:50 |
愛知 | 名古屋工業大学 | 高階圧縮の高速化と効率の良い符号化 ○矢口和也（東北大）・小林直樹（東大）・篠原 歩（東北大） COMP2013-34 |
高階圧縮とは，与えられたデータを生成する高階関数型プログラムを構成する圧縮法であり，圧縮したままのデータ操作が可能である... [more] | COMP2013-34 pp.13-20 |
| SS | 2007-12-17 10:45 |
島根 | 島根大学 | 組合せ子の非循環性について ○岩見宗弘（島根大） SS2007-41 |
Sumllyanは，書換え規則 L x y -> x (y y)を持つ組合せ子 $L$と書換え規則 O x y -> ... [more] |
SS2007-41 pp.19-24 |
[研究会発表申込システムのトップページに戻る]