論文 |
No. | 論文タイトル | 誌名(出版物名) | 巻 | 号 | 開始ページ | 終了ページ | 出版年月 | DOI | 査読の有無 |
1 | LED 通信実験衛星 CrestP-Sat1 の開発 | 第68回宇宙科学技術連合講演会 予稿集 | | | 3N15 | | 2025年11月 | | 査読無し |
2 | micro:bit、Spresense を使用した模擬人工衛星による宇宙科学教育 | 第68回宇宙科学技術連合講演会 予稿集 | | | 3N13 | | 2024年11月 | | 査読無し |
3 | Spresense を用いた超小型人工衛星の OBC およびそのマルチコアソフトウェアのデザイン | 第68回宇宙科学技術連合講演会 予稿集 | | | 3N14 | | 2024年11月 | | 査読無し |
4 | ReactCOP Supporting Layer Parameter Management for Front-End Web Applications  | Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming | | | | | 2023年09月12日 | https://doi.org/10.1145/3594671.35946841 | 査読有り |
5 | モデルリファクタリングの議論のための変更の提示手法の提案 | 2023年電子情報通信学会総合大会 情報・システム講演論文集1 | | | 23 | 23 | 2023年03月 | | 査読無し |
6 | モデル変換のための木構造型データ処理のパターン表現による記述方法の提案 | 2023年電子情報通信学会総合大会 情報・システム講演論文集1 | | | 24 | 24 | 2023年03月 | | 査読無し |
7 | Requirements on Model Transformation for Model Refactoring in State Transition Model Description Language stmc | Proceedings of Asia Pacific Conference on Robot IoT System Development and Platform | 2021 | - | 90 | 91 | 2022年01月 | | 査読有り |
8 | A Representation of Tree Matching and Rewriting for Model Transformation | Proceedings of Asia Pacific Conference on Robot IoT System Development and Platform | 2021 | - | 98 | 99 | 2022年01月 | | 査読有り |
9 | Layer Modeling and Its Code Generation based on Context-oriented Programming.  | Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development(MODELSWARD) | | | 330 | 336 | 2021年02月 | https://doi.org/10.5220/00103283033003361 | 査読有り |
10 | IoT Educational System on Mixed Reality Environments with Context-Oriented Programming | Proceedings of Asia Pacific Conference on Robot IoT System Development and Platform | 2019 | - | 34 | 35 | 2020年02月 | | 査読有り |
11 | RTCOP:組込みソフトウェア開発への適用を考慮したC++ベースのコンテキスト指向プログラミングフレームワーク | 情報処理学会論文誌 | 60 | 8 | 1338 | 1349 | 2019年08月 | | 査読有り |
12 | コンテキスト指向プログラミングによるFPGA動的部分再構成の考察 | 情報処理学会研究報告, 組込みシステム(EMB) | 2019-EMB-51 | 5 | 1 | 2 | 2019年06月 | | 査読無し |
13 | RTCOP: Context-Oriented Programming Framework based on C plus plus for Application in Embedded Software | PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND SYSTEMS (ICISS 2019) | | | 65 | 72 | 2019年 | https://doi.org/10.1145/3322645.33226891 | |
14 | High level synthesis of ROS protocol interpretation and communication circuit for FPGA.  | Proceedings of the 2nd International Workshop on Robotics Software Engineering(RoSE@ICSE) | | | 33 | 36 | 2019年 | https://doi.org/10.1109/RoSE.2019.000141 | 査読有り |
15 | Prototype of FPGA Dynamic Reconfiguration Based-on Context-Oriented Programming.  | 13th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip(MCSoC) | | | 116 | 122 | 2019年 | https://doi.org/10.1109/MCSoC.2019.000241 | 査読有り |
16 | Assessment Map for Multidisciplinary Abilities for IoT System Development Education based on a Robot Contest  | 2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE) | | | 995 | 1000 | 2018年12月 | https://doi.org/10.1109/TALE.2018.86153881 | 査読有り |
17 | An Interdisciplinary and University PBL Curriculum Using Robot Challenge | 2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE) | 2016 | EMB-43 | 308 | 315 | 2018年12月 | https://doi.org/10.1109/TALE.2018.86153011 | 査読有り |
18 | Multidisciplinary skill assessment for embedded software development education via a robot contest.  | Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings | | | 151 | 152 | 2018年 | https://doi.org/10.1145/3183440.31950591 | 査読有り |
19 | Compulsory Game based Robot Contest for Embedded System Development Education.  | Proceedings of the 2018 7th International Conference on Software and Computer Applications | | | 259 | 263 | 2018年 | https://doi.org/10.1145/3185089.31851441 | 査読有り |
20 | 学会実施のコンテスト型PBLによる組込みシステム教育 | 日本工学教育協会論文誌 工学教育 | 64 | 3 | 41 | 46 | 2016年05月 | https://doi.org/10.4307/jsee.64.3_411 | 査読有り |
21 | A Layer-Structure Diagram and a Layer-Interaction Diagram towards a Context-Oriented Development Methodology for Embedded Systems | COMPANION PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON MODULARITY (MODULARITY COMPANION'16) | | | 125 | 130 | 2016年 | https://doi.org/10.1145/2892664.28926851 | 査読有り |
22 | A development of educational robot software for Master's course students | 2015 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2015 - Proceedings | | | 11:1 | 11:4 | 2015年10月04日 | https://doi.org/10.1145/2832920.28329311 | 査読有り |
23 | A study of context-oriented programming for applying to robot development | International Workshop on Context-Oriented Programming, COP 2015 - co-located with the 29th European Conference on Object-Oriented Programming, ECOOP 2015 | | | 4:1 | 4:6 | 2015年07月04日 | https://doi.org/10.1145/2786545.27865511 | 査読有り |
24 | A structure of a C# framework ContextCS based on context-oriented programming | ACM International Conference Proceeding Series | 2015- | | 21 | 22 | 2015年03月16日 | https://doi.org/10.1145/2735386.27359251 | 査読有り |
25 | Towards aspect-oriented state machine language for embedded software | AOAsia 2013: Proceedings of the 8th International Workshop on Advanced Modularization Techniques - AOAsia/Pacific | | | 23 | 25 | 2013年 | https://doi.org/10.1145/2451469.24514771 | 査読有り |
26 | ロボットコンテストを利用した組込み教育の実践 | 情報処理学会論文誌 | 49 | 10 | 3531 | 3540 | 2008年10月 | | 査読有り |
27 | The adaptive projected subgradient method over the fixed point set of strongly attracting nonexpansive mappings | NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION | 27 | 7-8 | 905 | 930 | 2006年12月 | https://doi.org/10.1080/016305606008846611 | 査読有り |
28 | Hybrid Steepest Descent Method for Variational Inequality Problem over the Fixed Point Set of Certain Quasi-nonexpansive Mappings | Numerical Functional Analysis and Optimization | 25 | 7-8 | 619 | 655 | 2005年01月 | | 査読有り |
29 | Adaptive Projected Subgradient Method for Asymptotic Minimization of Sequence of Nonnegative Convex Functions | Numerical Functional Analysis and Optimization | 25 | 7-8 | 593 | 617 | 2005年01月 | | 査読有り |
30 | A DEEP OUTER APPROXIMATING HALF SPACE OF THE LEVEL SET OF CERTAIN QUADRATIC FUNCTIONS | JOURNAL OF NONLINEAR AND CONVEX ANALYSIS | 6 | 1 | 187 | 201 | 2005年 | | 査読有り |
31 | Adaptive Projected Subgradient Method and Its Applications to Signal Processing Problems | Proc. of the Third International Conference on Nonlinear Analysis and Convex Analysis | | | 565 | 576 | 2004年08月 | | 査読有り |
32 | Convex feasibility problem with prioritized hard constraints - Double layered projected gradient method | IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES | E87A | 4 | 872 | 878 | 2004年04月 | | 査読有り |
33 | Nonstrictly convex minimization over the bounded fixed point set of a nonexpansive mapping | Numerical Functional Analysis and Optimization | 24 | 1-2 | 129 | 135 | 2003年 | https://doi.org/10.1081/NFA-1200202501 | 査読有り |
34 | Adaptive projected subgradient method and its applications to set theoretic adaptive filtering | CONFERENCE RECORD OF THE THIRTY-SEVENTH ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS & COMPUTERS, VOLS 1 AND 2 | 1 | | 600 | 606 | 2003年 | | 査読有り |
35 | An Algorithm for Convex Projection onto Certain Polyhedron and its Application to the Spectral Unmixing for Remotely Sensed Image | 7th International Conference on Parametric Optimization and Related Topics | | | 30 | 30 | 2002年09月 | | 査読有り |
36 | Non-strictly Convex Minimization over the Fixed Point Set of an Asymptotically Shrinking Nonexpansive Mapping | Numer. Funct. Anal. Optim. | 23 | 1 and 2 | 113 | 137 | 2002年04月 | | 査読有り |
37 | The Multi-Layered Hard Constrained Convex Feasibility Problem | Proceedings of the 2nd International Conference on Nonlinear Analysis and Convex Analysis | | | 373 | 381 | 2001年07月 | | 査読有り |
38 | Quadratic optimization of fixed points of nonexpansive mappings in Hilbert space | NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION | 19 | 1-2 | 165 | 190 | 1998年 | | 査読有り |
39 | An Optimal Fixed Point Theorem for Nonexpansive Operator and its Application to Set Theoretic Signal Estimation - Optimization with Inconsistent Convex Constraints - | Proc. of 1996 IEEE International Symposium on Information Theory and Its Application | | | 736 | 742 | 1996年09月 | | 査読有り |
40 | Constrained parallel projection methods for optimal signal estimation and design - Constrained inconsistent signal feasibility problems | INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, PROCEEDINGS - VOL III | 3 | | 69 | 72 | 1996年 | | 査読有り |
MISC |
No. | MISCタイトル | 誌名 | 巻 | 号 | 開始ページ | 終了ページ | 出版年月(日) |
1 | グローバルに活躍する:6.海外インターンシップ・インタビュー -積極的なコミュニケーションの重要性を学ぶ-  | 情報処理 | 60 | 8 | 726 | 729 | 2019年07月15日 |
2 | コンテキスト指向ソフトウェアのためのペトリネット・シミュレータ構築の課題 | 情報処理学会研究報告(Web) | 2016 | EMB-42 | | | 2016年 |
3 | C#プログラム実行時書き換えによるコンテキスト指向プログラミングの実現  | 情報処理学会論文誌プログラミング(PRO) | 8 | 1 | 15 | 15 | 2015年06月02日 |
4 | 状態遷移モデル記述言語stmcを用いた組込みソフトウェアのためのモデルレベルデバッグツールの開発 (ディペンダブルコンピューティング)  | 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 | 114 | 507 | 257 | 262 | 2015年03月06日 |
5 | コンテキスト指向プログラミング実現に向けた実行時プログラム書き換えフレームワークの提案  | 組込みシステムシンポジウム2014論文集 | 2014 | | 84 | 89 | 2014年10月15日 |
6 | 組込みソフトウェアプロトタイプ開発のためのプログラム動的書き換え  | 研究報告システムLSI設計技術(SLDM) | 2014 | 35 | 1 | 5 | 2014年03月08日 |
7 | 組込みソフトウェアプロトタイプ開発のためのプログラム動的書き換え  | 研究報告組込みシステム(EMB) | 2014 | 35 | 1 | 5 | 2014年03月08日 |
8 | ESSロボットチャレンジ2012  | 組込みシステムシンポジウム2012論文集 | 2012 | | 205 | 208 | 2012年10月10日 |
9 | アスペクト指向状態遷移言語支援ツール  | 組込みシステムシンポジウム2012論文集 | 2012 | | 212 | 213 | 2012年10月10日 |
10 | アスペクト指向状態言語の組込みソフトウェア制約への適用  | 研究報告ソフトウェア工学(SE) | 2012 | 6 | 1 | 8 | 2012年03月08日 |
11 | 組込みソフトウェアのためのアスペクト指向による状態遷移言語の提案  | 組込みシステムシンポジウム2011論文集 | 2011 | | 21 | 1-21-10 | 2011年10月12日 |
12 | 状態遷移言語による組込みソフトウェア開発 (コンピュータシステム)  | 電子情報通信学会技術研究報告 | 110 | 473 | 285 | 290 | 2011年03月18日 |
13 | 状態遷移言語による組込みソフトウェア開発  | 研究報告システムLSI設計技術(SLDM) | 2011 | 48 | 1 | 6 | 2011年03月11日 |
14 | 組込みソフトウェアのためのゴール指向手法による状態モデル構築法  | 情報処理学会研究報告ソフトウェア工学(SE) | 2008 | 55 | 73 | 80 | 2008年06月12日 |
15 | MDDチャレンジにみる組込みソフトウェアモデル中心開発の工学と教育  | 情報処理学会研究報告ソフトウェア工学(SE) | 2007 | 52 | 95 | 102 | 2007年05月29日 |
16 | 複数の凸制約条件付き適応信号処理問題の解法と応用 : そのII: 収束定理の証明(適応信号処理・音響信号処理, 信号処理, LSI, 及び一般)  | 電子情報通信学会技術研究報告. CAS, 回路とシステム | 105 | 145 | 7 | 12 | 2005年06月20日 |
17 | Two Generalizations of the Projected Gradient Method for Convexly Constrained Inverse Problems--Hybrid steepest descent method, Adaptive projected subgradient method (数値解析と新しい情報技術 研究集会報告集)  | 数理解析研究所講究録 | 1362 | | 88 | 94 | 2004年04月 |
18 | SA-3-2 適応外近似射影法のための最適外近似構成法(SA-3. エコーキャンセラとその実現) | 電子情報通信学会総合大会講演論文集 | 2004 | | "S | 16"-"S-17" | 2004年03月08日 |
19 | Adaptive Parallel Outer Projection ALgorithm Based on Supporting Hyperplane Approximation | Technical Report of IEICE | DSP2003-22,EA2003-34/,13-18 | | | | 2003年 |
20 | Adaptive Parallel Outer Projection ALgorithm Based on Supporting Hyperplane Approximation | 信学技報 | DSP2003-22,EA2003-34/,13-18 | | | | 2003年 |
21 | Hybrid steepest descent method over the fixed point set of certain quasi-nonexpansive mapping | Proc. of 18th Digital Signal Processing Symposium (Nov. 5-7, 2003, Mie) | | | | | 2003年 |
22 | Hybrid steepest descent method for the variational inequality problem over the fixed point sets of certain quasi-nonexpansive mappings | Victoria International Conference 2004 | | | | | 2003年 |
23 | Hybrid steepest descent method over the fixed point set of certain quasi-nonexpansive mapping | Proc. of 18th Digital Signal Processing Symposium (Nov. 5-7, 2003, Mie) | | | | | 2003年 |
24 | Hybrid steepest descent method for the variational inequality problem over the fixed point sets of certain quasi-nonexpansive mappings | Victoria International Conference 2004 | | | | | 2003年 |
25 | A Numerically Robust Hybrid Steepest Descent Method for the Convexly Constrained Generalized Inverse Problems | Contemporary Mathematics | 313 | | 269 | 305 | 2002年 |
26 | A Numerically Robust Hybrid Steepest Descent Method for the Convexly Constrained Generalized Inverse Problems | Contemporary Mathematics | 313 | | 269 | 305 | 2002年 |
27 | An algorithm for projection onto certain polyhedron and its application to inversion of imaging spectrometry | Proc. of 16th DSP Symposium | | | 529 | 534 | 2001年 |
28 | The hybrid steepest descent method and its applications to constrained inverse problems | 10 th International Colloq. on Numer. Anal. Comp. Sci. Appl. in Plovdiv. | | | | | 2001年 |
29 | The hybrid steepest descent method and its applications to constrained inverse problems | 10 th International Colloq. on Numer. Anal. Comp. Sci. Appl. in Plovdiv. | | | | | 2001年 |
30 | An algorithm for projection onto certain polyhedron and its application to inversion of imaging spectrometry | Proc. of 16th DSP Symposium | | | 529 | 534 | 2001年 |
31 | On the numerical robustness of the hybrid steepest descent method | Proc. of 16th DSP Symposium | | | 89 | 91 | 2001年 |
32 | Inconsistent Convex Feasibility Problem with Multiple and Prioritized Hard Constraints | Proc. of 23rd Symposium on Information Theory and Its Applications | | | 811 | 814 | 2001年 |
33 | Inconsistent Convex Feasibility Problem with Multiple and Prioritized Hard Constraints | Proc. of 23rd Symposium on Information Theory and Its Applications | 24 | 2 | 811 | 814 | 2001年 |
34 | On the numerical robustness of the hybrid steepest descent method | Proc. of 16th DSP Symposium | | | 89 | 91 | 2001年 |
35 | A Selection Method of Learning Data for Nonstationary Time Series Prediction | Technical Report of IEICE | NC99-121 | | 29 | 36 | 2000年 |
36 | Hybrid Steepest Descent Method for Asymptotically Shrinking Mapping | Proc. of 23rd Symposium on Information Theory and Its Applications | | | 631 | 634 | 2000年 |
37 | 漸近縮小型非拡大写像とハイブリッド最急降下法 - 凸制約条件付き逆問題のための逐次アルゴリズム - | 信学技法 | DSP2000-83 | | 9 | 12 | 2000年 |
38 | マルチエージェント環境におけるコミュニケーションの発生とその分析 | 信学技報 | NC99-93 | | 1 | 8 | 2000年 |
39 | 非定常時系列予測のための学習データの選択法 | 信学技報 | NC99-121 | | 29 | 36 | 2000年 |
40 | Hybrid Steepest Descent Method for Asymptotically Shrinking Mapping | Proc. of 23rd Symposium on Information Theory and Its Applications | | | 631 | 634 | 2000年 |
41 | A Relaxation of the Hybrid Steepest Descent Method for Wider Class of Inverse Problems | Technical Report of IEICE | DSP2000-83 | | 9 | 12 | 2000年 |
42 | Gereration of Communication in Multi-Agent Environment and its Analysis | Technical Report of IEICE | NC99-93 | | 1 | 8 | 2000年 |
43 | フルオロ・イメージアナライザー | 光学 | 28 | 10 | 567 | 571 | 1999年10月10日 |
44 | Online Learning for Support Vector Machine using Necessity Estimation | Technical Report of IEICE | PRMU99 | 55 | 45 | 52 | 1999年 |
45 | Extraction of Image Entropy using Independent Component Analysis | Technical Report of IEICE | NC98 | 146 | 375 | 382 | 1999年 |
46 | データの重要度推定に基づくサポートベクタマシンの逐次学習, | 信学技報 | PRMU99 | 55 | 45 | 52 | 1999年 |
47 | シソーラス情報に基づく音声話題認識システム, | 信学技報 | AI98 | 88 | 25 | 32 | 1999年 |
48 | 独立成分解析に基づく画像情報量の抽出法 | 信学技報 | NC98 | 146 | 375 | 382 | 1999年 |
49 | A Topic Recognition SYstem of Spoken Dialogue Based on Thesaurus Information | Technical Report of IEICE | AI98 | 88 | 25 | 32 | 1999年 |
50 | An Extension of Optimal Fixed Point Theorem for Nonexpansive Operator and Its Application to Set Theoretic Signal Estimation | Proceeding of 1996 Symposium on Information Theory and Its Application | | | | | 1996年 |
51 | An Extension of Optimal Fixed Point Theorem for Nonexpansive Operator and Its Application to Set Theoretic Signal Estimation | Proceeding of 1996 Symposium on Information Theory and Its Application | | | | | 1996年 |