研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
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 |