| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| NC, MBE (併催) |
2024-03-12 11:40 |
東京 | 東京大学 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
FCNを用いた視覚皮質V4細胞の汎化モデル解析 ～ 生成される表現のタスク依存性 ～ ○齊藤 翼・原 大誠・酒井 宏（筑波大）  NC2023-54 |
視覚皮質V4野は，物体認識に関する視覚情報を処理する腹側視覚経路の中間に位置する領域であり，低次の視覚情報の統合と物体表... [more] | NC2023-54 pp.65-68 |
| HIP | 2023-12-22 15:15 |
宮城 | 電気通信研究所 | 感情によるユニーク色知覚の変調 ～ 個人に依存する色方向 ～ ○小松﨑摩耶・柴田紀代・酒井 宏（筑波大） HIP2023-94 |
ユニーク色は、個人の中では知覚が安定して、変化が起きにくいとされている。赤緑黄青の４色のユニーク色の知覚が、感情により影... [more] | HIP2023-94 pp.83-86 |
| MSS, SS (共催) |
2023-01-11 13:30 |
大阪 | 大阪市立生涯学習センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
例外を含む関数型言語の形式的記述と停止性証明のための制約付き依存対 ○濱口 毅・酒井正彦（名大） MSS2022-56 SS2022-41 |
本発表では例外処理を持つ関数型プログラムの停止性証明手法を提案する．まず先行評価に基づくプログラムの詳細な評価順序の形式... [more] | MSS2022-56 SS2022-41 pp.66-71 |
| SS, MSS (共催) |
2022-01-12 09:40 |
長崎 | 長崎県建設総合会館 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
LLVM中間表現の意味論規則を表現する制約付き書換え規則について ○加藤拓洋・西田直樹・酒井正彦（名大） MSS2021-47 SS2021-34 |
C言語に沿った簡易プログラミング言語を論理制約付き項書換え系（LCTRS）に変換し，元のプログラムの性質をLCTRSの性... [more] | MSS2021-47 SS2021-34 pp.89-94 |
| WIT, IPSJ-AAC (連催) |
2021-03-05 16:00 |
ONLINE | オンライン開催 | 協調行動ナビゲーションのためのウェアラブルセンサを活用した掃除行動理解に関する研究 ○竹上雄規・佐野睦夫（阪工大）・大井 翔（立命館大）・中川真由美・加戸弘美・酒井京子（大阪市職業リハビリテーションセンター） WIT2020-33 |
認知機能障害者や発達障害者は，コミュニケーションの問題から就職することが難しく，また就職後において職場になじめないために... [more] | WIT2020-33 pp.20-25 |
| NC, MBE (併催) |
2021-03-03 09:50 |
ONLINE | オンライン開催 | V4における表面と形状の同時表現 ○町田 樹・樹神 篤・酒井 宏（筑波大） NC2020-42 |
複数の異なる画像特徴の統合は，ヒトの物体認識処理における重要な機能である．特に物体表面テクスチャと物体形状のコーディング... [more] | NC2020-42 pp.7-10 |
| MSS, SS (共催) |
2021-01-27 15:00 |
ONLINE | オンライン開催 | 擬ブール制約の導入による組合せ最適化ソルバCombSQL+の高速化 ○岸 潤一郎・酒井正彦・西田直樹・橋本健二（名大） MSS2020-40 SS2020-25 |
著者らはこれまでに，拡張したSQLで組合せ最適化問題を簡単に記述でき，かつ効率的に解くことのできる求解系CombSQL+... [more] | MSS2020-40 SS2020-25 pp.66-71 |
| SS | 2020-03-04 13:50 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
マクロ森変換器がXMLスキーママッピングの実現であることの決定手続き ○田端浩明・酒井正彦・橋本健二（名大） SS2019-43 |
XML スキーママッピング（SM）は異なる2つのXMLスキーマ DTD の対応付けを木パターンを用いて記述したものである... [more] | SS2019-43 pp.13-18 |
| SS | 2020-03-04 15:10 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
排他制御を含むプログラムから論理制約付き項書換え系への変換 ○小嶋美咲・西田直樹・松原 豊・酒井正彦（名大） SS2019-46 |
計算モデルである論理制約付き項書換え系（LCTRS）をプログラムの検証に用いる先行研究では，逐次実行される命令型プログラ... [more] | SS2019-46 pp.31-36 |
| NC, MBE (併催) |
2020-03-04 15:20 |
東京 | 電気通信大学 （開催中止，技報発行あり） |
自然画像に対するサルV4野の神経反応が示す次元の推定 ○樹神 篤・酒井 宏（筑波大） NC2019-85 |
V4野の細胞は，方位や曲率，色やテクスチャのような様々な視覚特徴に対して選択性を示すことが知られているが，それらの特徴が... [more] | NC2019-85 pp.57-60 |
| NC, MBE (併催) |
2020-03-04 16:10 |
東京 | 電気通信大学 （開催中止，技報発行あり） |
Border Ownership選択性を示すサルV2細胞の機能受容野推定 ○田中一直・酒井 宏（筑波大） NC2019-87 |
[more] | NC2019-87 pp.65-69 |
| NC, MBE (併催) |
2020-03-04 16:35 |
東京 | 電気通信大学 （開催中止，技報発行あり） |
図地分離に対するサルV4神経細胞の反応と知覚の一貫性 ～ 電気生理実験，知覚心理実験および線形受容野カーネルモデルによる解析 ～ ○宍倉基文・鈴木一史（筑波大）・山根ゆか子・田村 弘（阪大）・酒井 宏（筑波大） NC2019-88 |
物体全体が見えない程度に切り抜いた自然画像パッチを呈示すると，ヒトは必ずしも一貫した図方向を知覚することができない。この... [more] | NC2019-88 pp.71-75 |
| DC, SS (共催) |
2019-10-24 14:55 |
熊本 | 熊本大学 | 存在限量子付き等式を証明するための書換え帰納法の拡張 ○西江一志・西田直樹・酒井正彦（名大） SS2019-17 DC2019-45 |
本稿では，等式を証明するための書換え帰納法を存在限量子付き等式を証明できるように拡張する．具体的にはまず，論理制約付き項... [more] | SS2019-17 DC2019-45 pp.25-30 |
| NC, MBE (併催) |
2019-03-06 10:45 |
東京 | 電気通信大学 | サルV4図地選好性細胞の受容野構造 ○木村耕治（筑波大）・山根ゆか子・田村 弘（阪大）・酒井 宏（筑波大） NC2018-77 |
自然画像を局所的に切り抜いたパッチと，輪郭を基に図地をそれぞれ白黒で塗りつぶしたパッチを短時間呈示し，サルV4野から多電... [more] | NC2018-77 pp.181-185 |
| SS | 2019-03-04 16:45 |
沖縄 | 沖縄産業支援センター | 組合せ最適化問題の記述からSMTソルバの入力式を生成するSQL問合せ ○坂梨元軌・酒井正彦・西田直樹・橋本健二（名大） SS2018-66 |
著者らはこれまでに，組合せ最適化問題を簡単に記述でき，かつ効率的に解く手法を開発すること目的として，SQLを基礎とした言... [more] | SS2018-66 pp.85-90 |
| MSS, SS (共催) |
2019-01-16 09:25 |
沖縄 | 沖縄県青年会館 | 論理制約付き書換えにおける構造体および共用体の表現について ○金澤慶明・西田直樹・酒井正彦（名大） MSS2018-67 SS2018-38 |
近年，項書換え系への変換に基づいた手続き型のプログラムの検証について研究が行われており，実行の中間状態を表現する項から制... [more] | MSS2018-67 SS2018-38 pp.67-72 |
| MSS, SS (共催) |
2019-01-16 09:50 |
沖縄 | 沖縄県青年会館 | 項書換えにおけるナローイング計算木のベーシックナローイングへの拡張 ○前田侑也・西田直樹・酒井正彦・小林倫也（名大） MSS2018-68 SS2018-39 |
項書換え系（TRS）のナローイング計算とは，書換えに必要な代入を単一化により求め，その代入を適用して書換えを行う計算であ... [more] | MSS2018-68 SS2018-39 pp.73-78 |
| LOIS | 2018-03-01 16:05 |
沖縄 | 那覇市IT創造館 | 構文特徴の組合せによるソースコード部分の意図把握支援 中山 健（津田塾大）・田野俊一・橋山智訓（電通大）・○酒井恵光（大谷大） |
[more] | |
| LOIS | 2018-03-01 16:30 |
沖縄 | 那覇市IT創造館 | ウェブ情報に対するインタラクティブな構造付与と利用の手法 ○酒井恵光（大谷大）・中山 健（津田塾大） LOIS2017-82 |
ウェブ上の情報を意思決定に活用しようとする場合、情報の構造が必ずしも存在しないことが、情報の比較の難しさという問題となる... [more] | LOIS2017-82 pp.67-69 |
| SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2017-07-20 15:50 |
北海道 | 函館コミュニティプラザ | 制約付き項書換え系の依存鎖を上限付き整数増加列に変換する多項式解釈 ○笹野智裕・西田直樹・酒井正彦・上山智也（名大） SS2017-17 KBSE2017-17 |
制約付き項書換え系の停止性証明の枠組みである依存対フレームワークでは，関数呼び出しの関係を表現した依存鎖を下限付き整数減... [more] | SS2017-17 KBSE2017-17 pp.139-144 |
[研究会発表申込システムのトップページに戻る]