| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| DC, SS (共催) |
2020-10-19 16:50 |
ONLINE | オンライン開催 | 継続渡しスタイルの関数型言語における非決定性プログラムに関する考察 ○佐野勇樹・横本勇希・小島 渚・島 和之（広島市大）  SS2020-13 DC2020-30 |
[more] | SS2020-13 DC2020-30 pp.49-54 |
| SS | 2020-03-05 11:40 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
継続渡しスタイルの関数型言語における非決定性プログラム ○小島 渚・横本勇希・島 和之（広島市大） SS2019-55 |
[more] | SS2019-55 pp.87-92 |
| SS, MSS (共催) |
2020-01-14 17:20 |
広島 | 広島市立大学 サテライトキャンパス | 継続渡しスタイルの関数型プログラミング学習のためのWeb実行環境 ○橋本知江美・小島 渚・島 和之（広島市大） MSS2019-50 SS2019-34 |
[more] | MSS2019-50 SS2019-34 pp.55-60 |
| DC, SS (共催) |
2019-10-24 15:20 |
熊本 | 熊本大学 | 四天王問題の一般化と継続渡しスタイルの関数型言語における非決定性計算による解法プログラム ○横本勇希・小島 渚・島 和之（広島市大） SS2019-18 DC2019-46 |
[more] | SS2019-18 DC2019-46 pp.31-36 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2019-07-12 16:25 |
北海道 | 小樽経済センター | 継続渡しスタイルの関数型プログラミング学習のためのWeb実行環境の設計 ○小島 渚・橋本知江美・島 和之（広島市大） SS2019-3 KBSE2019-13 |
[more] | SS2019-3 KBSE2019-13 pp.53-58 |
| SS | 2019-03-05 15:50 |
沖縄 | 沖縄産業支援センター | 継続渡しスタイルの関数型プログラミング言語における非同期処理の実装 ○井原 唯・小島 渚・島 和之（広島市大） SS2018-81 |
[more] | SS2018-81 pp.175-180 |
| 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 |
[研究会発表申込システムのトップページに戻る]