| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| 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 |
| 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 |
| KBSE | 2018-03-02 14:20 |
沖縄 | 石垣市民会館 中ホール | 時間制約を考慮可能な自己適応システム実装フレームワークの検討 津田宏軌・○中川博之・土屋達弘（阪大） KBSE2017-59 |
自己適応システムは環境の変化などに適応し，自ら振る舞いを変化させることができるシステムである．その特徴から振る舞い変更の... [more] | KBSE2017-59 pp.121-126 |
| 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 |
| OCS, PN, NS (併催) |
2013-06-21 09:50 |
福島 | 日本大学工学部（郡山） | マルチレイヤネットワーク設計問題におけるリング型トポロジーを用いた計算時間の高速化手法 ○高橋昂大・見越大樹・竹中豊文（日大） NS2013-32 |
近年，マルチレイヤネットワーク設計が，基幹ネットワークにおけるネットワーク設計技術として注目されている． マルチレイヤ... [more] |
NS2013-32 pp.19-24 |
| SS, MSS (共催) |
2012-01-27 09:00 |
高知 | 高知市文化プラザかるぽーと | ［招待講演］区間制約プログラミングの研究事例 ～ Under-constrained問題のための射影手法とハイブリッドシステムの高精度シミュレーション手法 ～ ○石井大輔（NII） MSS2011-67 SS2011-52 |
区間制約プログラミングは連続領域の変数をもつ制約を用いて事象を記述し，区間計算を用いて高信頼な求解処理を行う枠組みである... [more] | MSS2011-67 SS2011-52 pp.73-77 |
| IT | 2012-01-20 14:05 |
茨城 | 筑波大学 | Pure involution置換符号に基づく新しい置換符号について ○不破和広・和田山 正（名工大） IT2011-39 |
本稿では，pure involution 符号に基づく新しい置換符号を提案する．置換符号の1 つであるpure invo... [more] | IT2011-39 pp.1-6 |
| SS | 2011-10-28 09:30 |
石川 | 北陸先端科学技術大学院大学 | 再帰プログラムに対するパラメトリック実行時間解析手法とツールの試作 ○椛島和宏・中田明夫（広島市大） SS2011-33 |
実時間性を持つソフトウェア部品に関しては，実行時間がプロセッサなどの実行環境に依存するため，異なる環境への再利用は一般に... [more] | SS2011-33 pp.37-42 |
| COMP | 2008-12-03 14:35 |
群馬 | 群馬大学 | Improved Formula Size Lower Bounds for Monotone Self-Dual Boolean Functions ○Kenya Ueno（Univ. of Tokyo） COMP2008-51 |
本研究は、Karchmer, Kushilevitz and Nisan~\cite{KKN95}によって導入された線形... [more] | COMP2008-51 pp.33-40 |
| VLD, CAS, SIP (共催) |
2008-06-27 09:20 |
北海道 | 北海道大学 高等教育機能開発センター | 高位合成における順序制約付レジスタ割り当て ○井上恵介・金子峰雄・岩垣 剛（北陸先端大） CAS2008-20 VLD2008-33 SIP2008-54 |
近年の半導体プロセスの微細集積化に伴い，製造時に生じる物理的パラメータの変動や動作時の変動に起因する遅延ばらつきの問題が... [more] | CAS2008-20 VLD2008-33 SIP2008-54 pp.7-12 |
| VLD, DC, IPSJ-SLDM (共催) CPSY, RECONF, IPSJ-ARC (併催) [詳細] |
2007-11-20 15:10 |
福岡 | 北九州国際会議場 | ネットワークオンチップにおける回路面積と配線コストを考慮したチップ内通信構造最適化の一手法 ○林 大輔・村井 渉（阪大）・中田明夫（広島市大）・木谷友哉・安本慶一（奈良先端大）・東野輝夫（阪大） CPSY2007-35 |
本研究では，Processing Element(PE) 間の通信の動的な振舞いを考慮したネットワークオンチップ(NoC... [more] | CPSY2007-35 pp.1-6 |
| LOIS, IN, ICM (共催) |
2005-01-20 14:40 |
福岡 | 福岡工業大学 | Optimization of Telecommunication Network Based on Capacity Analysis using Dynamic Programming Approach ○Jun Wu・Wuyi Yue（Konan Univ.） |
本論文では，マルチメディア通信ネットワーク(MCNs)における周波数帯域配分に対する最適化確率モデルを提案する．本解析モ... [more] | IN2004-147 TM2004-70 OIS2004-68 pp.19-24 |
[研究会発表申込システムのトップページに戻る]