| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| ET | 2024-01-20 15:05 |
京都 | 京都大学 吉田キャンパス＋オンライン開催 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
Javaへの応用に着目した関数型プログラミングの学習環境 ○堀田康輔・佐藤克己（学芸大）・中村勝一（福島大）・宮寺庸造（学芸大）  ET2023-49 |
StandardML，OCamlやHaskellをはじめとした関数型プログラミングは，手続き型やオブジェクト指向型とは大... [more] | ET2023-49 pp.24-31 |
| TL | 2023-03-11 10:30 |
ONLINE | オンライン開催 | 日本語ディスレクシアの認知障害と脳機能学的基盤 ～ 音韻性障害と視覚性障害 ～ ○杉本明子・柴崎光世（明星大）・吉田弘司（比治山大）・杉本 光（東大） TL2022-35 |
本研究では，日本語ディスレクシアの認知障害とその背後にある脳機能的基盤を明らかにすることを目的として，日本語を母語とする... [more] | TL2022-35 pp.6-11 |
| 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 |
| CQ (第二種研究会) |
2021-01-21 13:30 |
ONLINE | オンライン開催 | ［依頼講演］脳ビッグデータを用いた創造性の個性 ○小川剛史（ATR） |
ビッグデータを用いた機械学習技術の発展は，画像処理や自然言語処理だけでなく，脳活動データの情報処理にも大きく影響を与えて... [more] | |
| SS | 2019-03-05 15:25 |
沖縄 | 沖縄産業支援センター | 関数型プログラムの条件式のための反例を用いた自動修正 ○松井 健・佐藤亮介・鵜林尚靖・亀井靖高（九大） SS2018-80 |
ソフトウェア開発において，手動によるバグ修正には多くの手間と時間がかかる．開発者の負担を減らすため自動バグ修正の研究が行... [more] | SS2018-80 pp.169-174 |
| TL | 2018-10-28 13:30 |
北海道 | 独立行政法人国立高等専門学校機構 函館工業高等専門学校 | モノの捉え方と動きの表現 ○佐野 洋（東京外国語大） TL2018-41 |
外界のモノの見方が動き（時間経過）の表現に影響する．モノの見方は動きの解釈の基礎をなすもので，その結果，動き（時間経過）... [more] | TL2018-41 pp.13-18 |
| 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 |
| TL | 2018-06-17 14:00 |
兵庫 | 神戸学院大学ポートアイランドキャンパス | モノの見方と時間の解釈（動きの表現） ○佐野 洋（東京外国語大） TL2018-3 |
外界のモノの見方が時間の解釈に影響する．時間の解釈は動きの理解であって，ことばの表現に反映する．本稿は，ことばの諸性質が... [more] | TL2018-3 pp.13-18 |
| MBE, NC, NLP (併催) |
2018-01-26 13:50 |
福岡 | 九州工業大学 | Brain functional connectivity network flexibilityによる学習効果個人差の定量化 ○秋山暉佳（九工大）・副島英子（福岡工業大学附属城東高）・山﨑敏正（九工大）・山本宇彦（福岡工業大学附属城東高） NC2017-52 |
本研究の目的は，頭皮脳波によって構築されるbrain functional connectivity network (... [more] | NC2017-52 pp.11-16 |
| 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 |
| HCGSYMPO (第二種研究会) |
2015-12-16 - 2015-12-18 |
富山 | 富山国際会議場 | Brain Functional Connectivity Networkによる長期記憶と短期記憶の可視化 ○秋山暉佳・山﨑敏正（九工大）・山本宇彦・副島英子（城東高校） |
Brain Functional Connectivity Network （BFCN）とは，認知機能などに関連した脳領... [more] | |
| MBE, NC (併催) |
2015-07-18 13:25 |
徳島 | 徳島大学 | 他者の行動推定と言語における階層性：fMRI実験による検討 ○岩渕俊樹（国立障害者リハビリテーションセンター）・乾 敏郎（追手門学院大） NC2015-16 |
複雑な社会関係のなかで他者の行動を理解するためには，階層的な推論の能力が重要である．本研究はfMRI実験により，このよう... [more] | NC2015-16 pp.25-30 |
| NLC, TL (共催) [詳細] |
2015-06-04 16:45 |
徳島 | 徳島大学 | 正規表現による俳句の解釈と生成 ○新田義彦（日大） TL2015-6 NLC2015-6 |
俳句のような詩文は、通常の日本語文が具備する文法的完備性を無視あるいは超越したような振る舞いをし，一種の断片文の様相を呈... [more] | TL2015-6 NLC2015-6 pp.31-36 |
| SS | 2015-05-11 13:00 |
熊本 | 熊本大学 | 小規模組み込みシステムにおけるFRPの応用に向けて ○澤田賢祐・鈴木康平・渡部卓雄（東工大） SS2015-1 |
関数リアクティブプログラミング(FRP)は，入力に対する出力を宣言的に記述したモジュールを高階関数等を用いて組み合わせる... [more] | SS2015-1 pp.1-5 |
| SS | 2015-03-09 14:15 |
沖縄 | 沖縄県青年会館 | 要求フレームによる非機能要求の検証 松本佑真・○大西 淳（立命館大） SS2014-63 |
要求仕様における機能要求の正しさを検証するために筆者らは要求フレームモデルを用いた検証手法を開発してきた．本稿では，要求... [more] | SS2014-63 pp.49-54 |
[研究会発表申込システムのトップページに戻る]