| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| ET | 2024-01-20 15:05 |
京都 | 京都大学 吉田キャンパス＋オンライン開催 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
Javaへの応用に着目した関数型プログラミングの学習環境 ○堀田康輔・佐藤克己（学芸大）・中村勝一（福島大）・宮寺庸造（学芸大）  ET2023-49 |
StandardML，OCamlやHaskellをはじめとした関数型プログラミングは，手続き型やオブジェクト指向型とは大... [more] | ET2023-49 pp.24-31 |
| IT | 2022-07-21 14:55 |
岡山 | 岡山理科大学 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
データを生成するコンピューター上のプログラムを符号語とするデータ圧縮法 ○有村光晴（湘南工科大） IT2022-19 |
文字列のコフモゴロフ複雑度は，チューリング機械上のプログラムを用いて文字列を表現する際のプログラムの最小の長さと定義され... [more] | IT2022-19 pp.18-23 |
| 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, DC (共催) |
2017-10-19 14:45 |
高知 | 高知市文化プラザかるぽーと | 離散時間実行環境におけるYampaプログラムの振舞いモデル ○市橋友樹・結縁祥治（名大） SS2017-24 DC2017-23 |
本稿では，Haskell のドメイン固有言語であるYampa で記述されたプログラムを離散的に実行する際の振舞いモデルを... [more] | SS2017-24 DC2017-23 pp.19-24 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2016-07-14 13:10 |
北海道 | 北海道立道民活動センター | Yampaプログラム実行のための振舞いモデル ○市橋友樹・結縁祥治（名大） SS2016-11 KBSE2016-17 |
本研究では，Haskell 言語のドメイン固有言語であるYampa プログラムの安全性を検証するための振舞いのモデルとし... [more] | SS2016-11 KBSE2016-17 pp.99-104 |
| SWIM | 2016-02-26 13:05 |
東京 | 機械振興会館 | Swift言語を用いた関数型プログラミングの学習支援環境 青木唯一・○須栗裕樹（宮城大） SWIM2015-21 |
本研究では，Webブラウザ上で動作する関数型プログラミングの学習支援システムを設計，開発し，評価する． 言語としてはSw... [more] | SWIM2015-21 pp.17-22 |
| SS | 2015-05-11 13:00 |
熊本 | 熊本大学 | 小規模組み込みシステムにおけるFRPの応用に向けて ○澤田賢祐・鈴木康平・渡部卓雄（東工大） SS2015-1 |
関数リアクティブプログラミング(FRP)は，入力に対する出力を宣言的に記述したモジュールを高階関数等を用いて組み合わせる... [more] | SS2015-1 pp.1-5 |
| SWIM | 2011-06-17 16:25 |
東京 | 機械振興会館 | Event-BモデルのHaskellによる実装 ○越賀 準・新川芳行（龍谷大） SWIM2011-7 |
近年，ソフトウェアの複雑化にともない，従来の手法ではソフトウェアの信頼性や開発生産性の向上に限界が見えてきたため，上流工... [more] | SWIM2011-7 pp.31-36 |
| SS | 2009-08-07 09:30 |
北海道 | 北見工業大学 | テストケース生成における同値分割法の数式処理システムによる自動化 ○服部 哲（東工大） SS2009-24 |
ソフトウェアのテストケース生成を数式処理システム Mathematica によって試みる．本論文では，ソフトウェアの M... [more] | SS2009-24 pp.71-76 |
| SS | 2007-06-22 10:10 |
石川 | 北陸先端科学技術大学院大学 | 二階の書換え系における引数切り落とし法 ○磯谷泰巨・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） SS2007-13 |
高階書換え系は関数プログラムの計算モデルであり，停止性は重要な性質の一つである．停止性証明法の一つに強計算性に基づく静的... [more] | SS2007-13 pp.23-28 |
| SS | 2006-04-20 16:10 |
新潟 | 新潟大学五十嵐キャンパス | 強計算依存対法による高階書換え系の停止性証明 ○磯谷泰巨・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） |
項書換え系は関数プログラムの計算モデルであり，その停止性は重要な性質の１つである．停止性証明法の１つに依存対法と呼ばれる... [more] | SS2006-6 pp.31-36 |
[研究会発表申込システムのトップページに戻る]