| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS, SS (共催) |
2023-01-11 13:30 |
大阪 | 大阪市立生涯学習センター (大阪府, オンライン) （ハイブリッド開催，主：現地開催，副：オンライン開催） |
例外を含む関数型言語の形式的記述と停止性証明のための制約付き依存対 ○濱口 毅・酒井正彦（名大）  MSS2022-56 SS2022-41 |
本発表では例外処理を持つ関数型プログラムの停止性証明手法を提案する．まず先行評価に基づくプログラムの詳細な評価順序の形式... [more] | MSS2022-56 SS2022-41 pp.66-71 |
| IT | 2022-07-21 14:55 |
岡山 | 岡山理科大学 (岡山県, オンライン) （ハイブリッド開催，主：現地開催，副：オンライン開催） |
データを生成するコンピューター上のプログラムを符号語とするデータ圧縮法 ○有村光晴（湘南工科大） IT2022-19 |
文字列のコフモゴロフ複雑度は，チューリング機械上のプログラムを用いて文字列を表現する際のプログラムの最小の長さと定義され... [more] | IT2022-19 pp.18-23 |
| SS | 2019-03-05 15:25 |
沖縄 | 沖縄産業支援センター (沖縄県) | 関数型プログラムの条件式のための反例を用いた自動修正 ○松井 健・佐藤亮介・鵜林尚靖・亀井靖高（九大） SS2018-80 |
ソフトウェア開発において，手動によるバグ修正には多くの手間と時間がかかる．開発者の負担を減らすため自動バグ修正の研究が行... [more] | SS2018-80 pp.169-174 |
| 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 |
| MSS, SS (共催) |
2015-01-26 17:45 |
鳥取 | ブランナールみささ (鳥取県) | 例外処理を含む関数型プログラムの停止性証明のための条件付き依存対法の実現 ○太田浩一・濱口 毅・酒井正彦（名大）・山田晃久（産総研）・西田直樹・坂部俊樹（名大） MSS2014-78 SS2014-42 |
本論文では，例外処理を含む関数型プログラムの停止性証明法のひとつである 条件付き依存対法の実現について議論する. こ... [more] |
MSS2014-78 SS2014-42 pp.55-60 |
| SS, KBSE (共催) |
2013-07-26 09:30 |
北海道 | 北海道立道民活動センター [かでる2.7] 710会議室（7階） (北海道) | 例外処理を含む関数型プログラム停止性証明のための条件付き依存対法 ○濱口 毅・酒井正彦（名大） SS2013-23 KBSE2013-23 |
先に提案した文脈依存項書換え系（CS-TRS）への変換による例外処理を持つ先行評価に基づく関数型プログラムの停止性・非停... [more] | SS2013-23 KBSE2013-23 pp.61-66 |
| SS | 2012-05-11 11:15 |
愛媛 | 愛媛大学 (愛媛県) | Static Dependecy Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types ○Keiichirou Kusakari（Nagoya Univ.） SS2012-9 |
[more] | SS2012-9 pp.49-54 |
| MBE, NC (併催) |
2012-03-14 15:35 |
東京 | 玉川大学 (東京都) | 脳卒中に関するオンライン知識啓発支援システムの開発 ～ 中学生の利用に適した機能改善 ～ ○谷 昇子（国立循環器病センター）・奈良崎大士・稲田 紘（兵庫県立大）・藤堂貴弘（姫路獨協大）・岩田倫明（国立循環器病センター）・中尾寿成・川上清和・武野嘉明（シー・エー・エヌシステム）・天野達雄・宮下史生・横田千晶・峰松一夫・中沢一雄（国立循環器病センター） MBE2011-119 |
本研究では、脳卒中の早期発見・早期治療を目的とした学校教育プログラムに対応する、オンライン知識啓発支援システムを開発した... [more] | MBE2011-119 pp.59-64 |
| SS | 2005-06-24 10:45 |
長野 | 信州大学 太田国際記念館 (長野県) | 強計算性に基づいた単純型項書換え系の停止性証明法 ○草刈圭一朗・櫻井敬大・西田直樹・酒井正彦・坂部俊樹（名大） |
停止性を持つ関数プログラムは評価を安全に実行できるだけでなく，様々な性質を検証する際に帰納法の土台として簡約関係自体を利... [more] | SS2005-21 pp.19-24 |
[研究会発表申込システムのトップページに戻る]