お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (検索条件: すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 30件中 1~20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
SS, MSS
(共催)
2024-01-18
10:25
石川 金沢商工会議所会館(石川県金沢市)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
プログラムの入れ子構造を考慮し実行時間の部分的計測を用いたパラメトリック実行時間解析手法とその評価
中西優元中田明夫広島市大MSS2023-62 SS2023-41
本研究では,実時間ソフトウェア再利用のためのパラメトリック実行時間解析手法を提案する.実時間制約を持つソフトウェアの異な... [more] MSS2023-62 SS2023-41
pp.58-63
ITS, WBS, RCC
(共催)
2023-12-21
09:50
沖縄 みんなの貸会議室 那覇泉崎店
(ハイブリッド開催,主:現地開催,副:オンライン開催)
需要予測と配達遅延を考慮した配送計画問題のオンライン最適化
松岡 遼小林孝一山下 裕北大WBS2023-32 ITS2023-15 RCC2023-26
本論文ではオンライン配送計画問題を考える.オンライン配送計画問題とは,一定時間ごとに配送計画問題を解き経路を更新する問題... [more] WBS2023-32 ITS2023-15 RCC2023-26
pp.25-30
NLP, MSS
(共催)
2023-03-16
16:05
長崎 長崎大学 文教キャンパス
(ハイブリッド開催,主:現地開催,副:オンライン開催)
需要予測を考慮した配送計画問題のオンライン最適化
松岡 遼小林孝一山下 裕北大MSS2022-91 NLP2022-136
本論文ではオンライン配送計画問題を考える.オンライン配送計画問題とは,一定時間ごとに配送計画問題を解き経路を更新する問題... [more] MSS2022-91 NLP2022-136
pp.136-139
TL 2023-03-11
14:15
ONLINE オンライン開催 文法的機械の創発的推論 ~ 演繹体系における連想知識の獲得 ~
原田康也早大TL2022-39
言語コミュニケーションの本質は「意味のやり取り」と「意味のあるやり取り」にある。近年の英語教育、特に大学英語教育において... [more] TL2022-39
pp.30-35
CAS, MSS
(共催)
IPSJ-AL
(連催) [詳細]
2022-11-17
15:30
高知 Kochi Startup BASE
(ハイブリッド開催,主:現地開催,副:オンライン開催)
燃料制約を有する配送計画問題のオンライン最適化
松岡 遼小林孝一山下 裕北大CAS2022-43 MSS2022-26
本論文ではオンライン配送計画問題を考える.オンライン配送計画問題とは,一定時間ごとに配送計画問題を解き経路を更新する問題... [more] CAS2022-43 MSS2022-26
pp.34-37
ET 2022-11-05
13:50
ONLINE オンライン開催 ソースコ―ドの振舞いモデルから機能の解釈を促す支援システムにおけるフィードバックの検討
松爲泰生前田新太郎古池謙人東本崇仁東京工芸大ET2022-35
プログラミング学習においては他者のソースコードを学ぶことは重要であり,その際に,ソースコードのどの部分がどのような機能を... [more] ET2022-35
pp.29-34
MSS, CAS
(共催)
IPSJ-AL
(連催) [詳細]
2020-11-26
16:15
ONLINE オンライン開催 分散エネルギー管理システムにおける交互方向乗数法と制約最適化を利用した起動停止計画
井上雄太宮本俊幸阪大CAS2020-36 MSS2020-28
一定期間にわたるエネルギー変換機器の起動停止パターン及びその出カレベルを決定する問題は,起動停止問題(UCP)として知ら... [more] CAS2020-36 MSS2020-28
pp.96-101
RCC, MICT
(共催)
2019-05-29
13:00
東京 東京ビッグサイト 複数エージェントによるグラフ上の動的監視 ~ 可解条件について ~
小林孝一北大RCC2019-1 MICT2019-1
監視問題とは,与えられた領域をまんべん移動する複数エージェントの軌道を求める問題である.本論文では,エージェントが燃料制... [more] RCC2019-1 MICT2019-1
pp.1-4
PRMU, BioX
(共催)
2019-03-18
16:10
東京 電気通信大学 [招待講演]歩容認証のための幾何制約条件下での動的計画法を用いた歩行者軌跡の抽出(BTAS 2018)
槇原 靖荻 岳仁八木康史阪大BioX2018-66 PRMU2018-170
防犯カメラ映像を用いた歩容認証は,歩き方から個人の識別を行う技術で犯罪捜査などに用いられている.歩容認証は,人物の検出・... [more] BioX2018-66 PRMU2018-170
p.207
SS 2019-03-04
16:45
沖縄 沖縄産業支援センター 組合せ最適化問題の記述からSMTソルバの入力式を生成するSQL問合せ
坂梨元軌酒井正彦西田直樹橋本健二名大SS2018-66
著者らはこれまでに,組合せ最適化問題を簡単に記述でき,かつ効率的に解く手法を開発すること目的として,SQLを基礎とした言... [more] SS2018-66
pp.85-90
HWS, VLD
(共催)
2019-03-01
10:25
沖縄 沖縄県青年会館 FPGAを対象とした束データ方式による非同期式回路に対する配置制約についての検討
大竹 樹齋藤 寛会津大VLD2018-123 HWS2018-86
本稿では,Field Programmable Gate Array (FPGA) を対象に束データ方式による非同期式回... [more] VLD2018-123 HWS2018-86
pp.181-186
KBSE 2018-03-02
14:20
沖縄 石垣市民会館 中ホール 時間制約を考慮可能な自己適応システム実装フレームワークの検討
津田宏軌・○中川博之土屋達弘阪大KBSE2017-59
自己適応システムは環境の変化などに適応し,自ら振る舞いを変化させることができるシステムである.その特徴から振る舞い変更の... [more] KBSE2017-59
pp.121-126
KBSE 2016-05-27
10:00
東京 同志社大学 東京オフィス バグ検出力評価能力を維持したミュータント削減手法
上野智弘・○芳賀博英同志社大KBSE2016-5
テストセットの品質を評価する手法の1つに,ミューテーション解析がある.この手法では,プログラムに故意にバグを埋め込んだミ... [more] KBSE2016-5
pp.25-30
VLD 2016-02-29
15:50
沖縄 沖縄県青年会館 コンポーネント間近接制約を考慮した整数線形計画法による耐ソフトエラーデータパス合成
呉 政訓金子峰雄北陸先端大VLD2015-116
近年,半導体デバイスの微細化が進み,それに伴ったソフトエラーによるVLSIの信頼性低下が問題となっている.本研究では,単... [more] VLD2015-116
pp.31-36
VLD, DC, IPSJ-SLDM
(連催)
ICD, CPM
(共催)
CPSY, RECONF
(併催) [詳細]
2014-11-26
10:45
大分 ビーコンプラザ(別府国際コンベンションセンター) タイミング制約を含んだ回路記述方式とその意味論
西村俊二尼崎太樹末吉敏則熊本大VLD2014-82 DC2014-36
数学的な理論に基づく厳密な検証が可能となることから,各種の形式検証手法が広がりつつあるが,その検証対象は同期回路に限られ... [more] VLD2014-82 DC2014-36
pp.81-86
KBSE 2014-03-07
13:10
沖縄 沖縄県青年会館 単方向性制約伝搬に基づく業務システム構成法の提案 ~ 地方税の税務処理を例として ~
矢野寛将桑山浩希金田重郎同志社大KBSE2013-94
業務システムでは遂行すべき業務処理に加え,保存されているデータ内容の変更処理や誤入力に対する修正処理も行う必要がある.結... [more] KBSE2013-94
pp.91-96
SS, MSS
(共催)
2014-01-30
14:25
愛知 豊田中央研究所 近似によるパラメトリック実行時間解析の効率化手法およびその評価
杉原圭佑中田明夫広島市大MSS2013-54 SS2013-51
実時間制約を持つソフトウェアを異なる実行環境で再利用するためには,プロセッサの各命令の実行時間やプログラムのループ回数な... [more] MSS2013-54 SS2013-51
pp.17-22
MSS, CAS
(共催)
IPSJ-AL
(連催) [詳細]
2013-11-07
14:00
岩手 渡り温泉さつき マルチカーエレベータのかご制御と割り当て問題に対するCP/MIPハイブリッド手法
峰岸達矢宮本俊幸阪大CAS2013-67 MSS2013-46
ビルの高層化が進むにつれて,より多くの人員を効率的に輸送する要求が高まっている.しかし,エレベータシャフト数を増加させる... [more] CAS2013-67 MSS2013-46
pp.129-134
OCS, PN, NS
(併催)
2013-06-21
09:50
福島 日本大学工学部(郡山) マルチレイヤネットワーク設計問題におけるリング型トポロジーを用いた計算時間の高速化手法
高橋昂大見越大樹竹中豊文日大NS2013-32
近年,マルチレイヤネットワーク設計が,基幹ネットワークにおけるネットワーク設計技術として注目されている.
マルチレイヤ... [more]
NS2013-32
pp.19-24
IPSJ-SLDM, VLD
(連催)
2012-05-31
10:55
福岡 北九州国際会議場 束データ方式による非同期式回路のFPGA設計支援ツールセットの構築
滝澤恵多郎飯塚 成齋藤 寛会津大VLD2012-9
本稿では,FPGA への実装を対象とした非同期式回路の設計支援ツールセットを提案する.提案するツールセットでは,束データ... [more] VLD2012-9
pp.49-54
 30件中 1~20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会