| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| ET | 2024-01-20 15:05 |
京都 | 京都大学 吉田キャンパス＋オンライン開催 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
Javaへの応用に着目した関数型プログラミングの学習環境 ○堀田康輔・佐藤克己（学芸大）・中村勝一（福島大）・宮寺庸造（学芸大）  ET2023-49 |
StandardML，OCamlやHaskellをはじめとした関数型プログラミングは，手続き型やオブジェクト指向型とは大... [more] | ET2023-49 pp.24-31 |
| MSS, SS (共催) |
2023-01-11 13:30 |
大阪 | 大阪市立生涯学習センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
例外を含む関数型言語の形式的記述と停止性証明のための制約付き依存対 ○濱口 毅・酒井正彦（名大） MSS2022-56 SS2022-41 |
本発表では例外処理を持つ関数型プログラムの停止性証明手法を提案する．まず先行評価に基づくプログラムの詳細な評価順序の形式... [more] | MSS2022-56 SS2022-41 pp.66-71 |
| R | 2022-12-15 14:30 |
ONLINE | オンライン開催 | 総合信頼性/リスクメトリクと機能安全 ○川島 興（オリエンタルモーター）・佐藤吉信（医療の質向上研） R2022-44 |
機能安全における電気・電子・プログラマブル電子安全関連系(S-RSystem)の安全機能の不具合によるリスクは，例えば，... [more] | R2022-44 pp.1-6 |
| R | 2022-12-15 14:55 |
ONLINE | オンライン開催 | システム結合により生ずるハザード／リスクと機能安全 ○竹市正彦（UL Japan）・佐藤吉信（東京都医療保険組合医療の質向上研） R2022-45 |
近年，複雑なシステム故障に対する安全対策の確保がシステム・オブ・システムの緊急課題となっている。システムが他のシステムと... [more] | R2022-45 pp.7-12 |
| R | 2022-11-17 14:25 |
ONLINE | オンライン開催 | 安全関連系のDUフォールトに対する最適保全実施間隔 ○井上真二（関西大）・山田 茂（鳥取大） R2022-41 |
電気・電子・プログラマブル電子機器（E/E/PE）安全関連系の設計・開発では，一般的に，基本国際機能安全規格IEC 61... [more] | R2022-41 pp.7-12 |
| IT | 2022-07-21 14:55 |
岡山 | 岡山理科大学 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
データを生成するコンピューター上のプログラムを符号語とするデータ圧縮法 ○有村光晴（湘南工科大） IT2022-19 |
文字列のコフモゴロフ複雑度は，チューリング機械上のプログラムを用いて文字列を表現する際のプログラムの最小の長さと定義され... [more] | IT2022-19 pp.18-23 |
| R | 2021-11-30 14:50 |
ONLINE | オンライン開催 | フォールト発見数モデルに基づいた安全関連系ソフトウェアの安全度解析 ○井上真二（関西大）・藤原隆次（SRATECH Lab）・山田 茂（鳥取大） R2021-38 |
電気・電子・プログラマブル電子（E/E/PE）安全関連系は，機能的側面からシステム全体の安全性を確保するような機能安全を... [more] | R2021-38 pp.24-29 |
| NS, IN, CS, NV (併催) |
2019-09-06 15:20 |
宮城 | 東北大学 電気通信研究所 | TWDM-PONに基づくフロントホールネットワークの機能配置の最適化に関する一検討 ○長谷川 剛（東北大）・村田正幸（阪大）・中平佳裕・鹿嶋正幸（OKI）・阿多信吾（阪市大） NS2019-95 |
本報告では、TWDM-PON を用いて構築される第5 世代携帯電話ネットワークのためのフロントホールネットワークを対象に... [more] | NS2019-95 pp.35-40 |
| SS | 2019-03-05 15:25 |
沖縄 | 沖縄産業支援センター | 関数型プログラムの条件式のための反例を用いた自動修正 ○松井 健・佐藤亮介・鵜林尚靖・亀井靖高（九大） SS2018-80 |
ソフトウェア開発において，手動によるバグ修正には多くの手間と時間がかかる．開発者の負担を減らすため自動バグ修正の研究が行... [more] | SS2018-80 pp.169-174 |
| 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 |
| RECONF | 2017-09-26 13:55 |
東京 | (株)ドワンゴ | 関数型言語における高階関数を利用した高位合成の一検討 ○寺岡拓也・久我守弘・尼崎太樹・飯田全広・末吉敏則（熊本大） RECONF2017-35 |
FPGA（Field-Programmable Gate Array）の性能向上に伴い，プログラムの実行プラットフォーム... [more] | RECONF2017-35 pp.75-80 |
| 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 |
| 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 |
| NC | 2012-07-31 10:45 |
滋賀 | 立命館大学 情報理工学部 クリエーションコア１階教授会会議室 | 昆虫脳における生理応答データに基づく行動司令生成時の情報伝達経路の推定 ○山岸嘉彦（立命館大）・小野島隆之（京大）・五十嵐吉輝・西川郁子（立命館大）・加沢知毅・並木重宏（東大）・池野英利（兵庫県立大）・神崎亮平（東大） NC2012-26 |
行動司令生成時の前運動中枢における主な情報伝達経路を，各神経細胞の解剖学的形態とフェロモン刺激に対する生理応答データから... [more] | NC2012-26 pp.65-70 |
| 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 |
[研究会発表申込システムのトップページに戻る]