検索:
(researchmapへのインポート用ファイル) [PDF解説] [researchmapへの自動反映について]

研究活動

専門分野

ソフトウェア工学 (Software Engineering)

研究テーマ

アルゴリズミック·デバッギング, プログラム·スライシング, ビジュアル·プログラム生成系, 分散処理システム (デバッグ (debugging), プログラム·スライス (program slice), ビジュアル·プログラミング (visual programming), 分散処理システム (distributed processing system), ソフトウェア自動生成 (automatic software generation)) (品質の高いソフトウェアを容易に開発する方式に関する研究.エラーの原因をシステムが解析し,プログラマに質問することにより,エラーの原因となったバグを自動的に究明するアルゴリズミック·デバッギング .ある機能を実現している部分プログラムや,改造による影響をシステムが提示してくれるプログラム·スライシング.プログラムの開発をGUIを用いて容易にするビジュアル·プログラム生成系.分散処理プログラムの因果関係を保持して効率よく再演する分散処理システムデバッグ支援. .)

著書・論文

著書:

1. 下村 隆夫 :
個別指導・評価に役立つe-ラーニングシステム,
学事出版, 東京, 2014年8月.
2. 下村 隆夫 :
新訂版 Javaによるインターネットプログラミング,
近代科学社, 東京, 2010年3月.
3. Takao Shimomura :
Easy, Enjoyable, Effective E-Learning,
Nova Science Publishers, Inc., New York, Dec. 2008.
4. 下村 隆夫 :
Aptyシステム操作ガイド,
メディアテック出版, 東京, 2006年12月.
5. 下村 隆夫 :
Javaによるインターネットプログラミング,
近代科学社, 東京, 2002年3月.
6. 下村 隆夫 :
上級プログラマへの道,
株式会社 コロナ社, 東京, 1999年10月.
7. 下村 隆夫 :
ソフトウェア工学大事典,
朝倉書店, 東京, 1998年12月.
8. 下村 隆夫 :
プログラムスライシング技術と応用,
共立出版株式会社, 東京, 1995年7月.

学術論文(審査論文):

1. Takao Shimomura, Kenji Ikeda and Montanaro Adriano :
Distribution and Sharing of E-Learning Courseware by Weighted Keywords,
International Journal of Information and Education Technology (IJIET), Vol.5, No.9, 698-703, 2014.
(DOI: 10.7763/IJIET.2015.V5.595)
2. Takao Shimomura and Kenji Ikeda :
Two Types of Deadlock Detection: Cyclic and Acyclic,
Intelligent Systems for Science and Information, Studies in Computational Intelligence, Vol.542, 233-259, 2014.
(DOI: 10.1007/978-3-319-04702-7_14,   Elsevier: Scopus)
3. Tomoaki Kashiwao, Kenji Ikeda and Takao Shimomura :
Estimation of Transition Times of a Hopping Machine Based on Wavelet Analysis,
SICE Journal of Control, Measurement, and System Integration, Vol.6, No.6, 396-402, 2013.
(DOI: 10.9746/jcmsi.6.396)
4. Takao Shimomura :
SEMANTIC PROGRAM VISUALIZATION WITH ATTACHABLE DISPLAY CLASSES,
International Journal of Computers and Applications, Vol.35, No.2, 1-9, 2013.
(DOI: 10.2316/Journal.202.2013.2.202-3463,   Elsevier: Scopus)
5. Takao Shimomura :
Extensible Sharable Learning Architecture,
International Journal of Web Engineering, Vol.2, No.1, 21-35, 2013.
(DOI: 10.5923/j.web.20130201.03)
6. Takao Shimomura and Adriano Montanaro :
Platform-Independent Courseware Sharing,
International Journal of Information Technology and Computer Science, Vol.5, No.5, 1-9, 2013.
(DOI: 10.5815/ijitcs.2013.05.01)
7. Takao Shimomura :
GA-driven Automatic Refactoring based on Design Patterns,
Software Engineering, Vol.2, No.2, 29-35, 2012.
(DOI: 10.5923/j.se.20120202.03)
8. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
BCLS Method for Stationary Systems in Closed Loop Environment,
SICE Journal of Control, Measurement, and System Integration, Vol.5, No.2, 78-84, 2012.
(DOI: 10.9746/jcmsi.5.78)
9. Takao Shimomura :
Command Tag-based Automatic Diagnosis for Computer System Troubles,
International Journal of Computers and Applications, Vol.34, No.3, 192-199, 2012.
(DOI: 10.2316/Journal.202.2012.3.202-3408,   Elsevier: Scopus)
10. Takao Shimomura :
AUTOMATED SERVER-SIDE REGRESSION TESTING FOR WEB APPLICATIONS,
International Journal of Computers and Applications, Vol.34, No.2, 119-126, 2012.
(DOI: 10.2316/Journal.202.2012.2.202-3225)
11. Takao Shimomura :
Perceptible Software for Maintenance and Enhancement,
Software Engineering, Vol.1, No.1, 1-8, 2011.
(DOI: 10.5923/j.se.20110101.01)
12. Takao Shimomura :
Automatic Troubleshooter Generation for Computer Administration and Networks,
International Journal of Information Processing and Management, Vol.2, No.4, 85-94, 2011.
(DOI: 10.4156/ijipm.vol2.issue4.9)
13. Takao Shimomura, Kenji Ikeda and Takahashi Muneo :
Functional Web Component Generation for Visual Web Application Programming,
International Journal of Computers and Applications, Vol.33, No.2, 167-174, 2011.
(DOI: 10.2316/Journal.202.2011.2.202-2730)
14. Min Zheng, Kenji Ikeda and Takao Shimomura :
Estimation of Continuous-Time Nonlinear Systems by Using the Unscented Kalman Filter,
SICE Journal of Control, Measurement, and System Integration, Vol.3, No.5, 324-329, 2010.
(DOI: 10.9746/jcmsi.3.324,   CiNii: 130004552799)
15. Takao Shimomura, CHEN LIANG QUAN and TAKAHASHI MUNEO :
EXTENSIBLE SYNTAX-ORIENTED VERIFIER WITH CONTEXT-DEPENDENT RECURSIVE VERIFICATION,
International Journal of Software Engineering and Knowledge Engineering, Vol.20, No.2, 233-251, 2010.
(DOI: 10.1142/S0218194010004700)
16. 柏尾 知明, 池田 建司, 下村 隆夫 :
ウェーブレット解析を用いた区分的線形システムのトランジションタイムの推定,
計測自動制御学会論文集, Vol.45, No.7, 349-355, 2009年.
(DOI: 10.9746/sicetr.45.349,   CiNii: 10025090303)
17. Takao Shimomura and Chen Liang Quan :
Automatic Generation of Web Applications from Visual High-Level Functional Web Components,
Advances in Software Engineering, Vol.2009, No.879725, 1-16, 2009.
(DOI: 10.1155/2009/879725)
18. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
Bias Compensation of Recursive Least Squares Estimate in Closed Loop Environment,
SICE Journal of Control, Measurement, and System Integration, Vol.1, No.5, 400-405, 2008.
(DOI: 10.9746/jcmsi.1.400)
19. Takao Shimomura, Lang Sok Nhor, Chen Liang Quan and Kenji Ikeda :
Context-Dependent Extensible Syntax-Oriented Verifier with Recursive Verification,
WSEAS Transactions on Information Science and Applications, Vol.5, No.2, 44-53, 2008.
(Elsevier: Scopus)
20. 池田 建司, 最上 義夫, 下村 隆夫 :
閉ループ環境におけるバイアス補償型最小二乗法,
計測自動制御学会論文集, Vol.43, No.12, 1097-1102, 2007年.
(CiNii: 10020028442)
21. Takao Shimomura, Chen Liang Quan, Lang Sok Nhor and Kenji Ikeda :
Web-based Laboratory Network Management System that Integrates Multiple Servers,
WSEAS Transactions on Information Science and Applications, Vol.4, No.12, 1422-1430, 2007.
(Elsevier: Scopus)
22. Takao Shimomura, Chen Liang Quan, Lang Sok Nhor and Kenji Ikeda :
Uniform Tag-based Rich Component Generation for Web Application Development,
WSEAS Transactions on Information Science and Applications, Vol.4, No.12, 1431-1438, 2007.
(Elsevier: Scopus)
23. Takao Shimomura, Lang Sok Nhor, Chen Liang Quan and Kenji Ikeda :
Customizable Pattern-Oriented Verifiers forWeb Applications,
WSEAS Transactions on Information Science and Applications, Vol.4, No.12, 1439-1446, 2007.
(Elsevier: Scopus)
24. Takao Shimomura, Kenji Ikeda, Chen Liang Quan, Lang Sok Nhor and Takahashi Muneo :
Visual Programming of Hierarchical Frames for Web Applications,
WSEAS Transactions on Information Science and Applications, Vol.4, No.5, 968-975, 2007.
(Elsevier: Scopus)
25. Takao Shimomura and Chen Liang Quan :
Hierarchical frame and frameset components for visual programming of web applications,
INTERNATIONAL JOURNAL of SYSTEMS APPLICATIONS, ENGINEERING & DEVELOPMENT, Vol.1, No.1, 1-7, 2007.
26. Takao Shimomura, Takahashi Muneo, Chen Liang Quan, Lang Sok Nhor and Kenji Ikeda :
Easy enjoyable effective automated practice and test system,
INTERNATIONAL JOURNAL of EDUCATION AND INFORMATION TECHNOLOGIES, Vol.1, No.1, 1-7, 2007.
27. Takao Shimomura :
Visual Design and Programming for Web Applications,
Journal of Visual Languages and Computing, Vol.16, No.3, 213-230, 2005.
(DOI: 10.1016/j.jvlc.2004.08.005,   Elsevier: Scopus)
28. Takao Shimomura, Takahashi Muneo, Kenji Ikeda and Yoshio Mogami :
Visual Design for Server-Side Programs and Program Generation,
Transactions of Information Processing Society of Japan, Vol.45, No.7, 1737-1744, 2004.
29. 池田 建司, 最上 義夫, 下村 隆夫 :
適応観測器を用いた連続時間モデル同定,
計測自動制御学会論文集, Vol.40, No.4, 415-423, 2004年.
(CiNii: 10012855094)
30. Takao Shimomura :
A Page-Transition Framework for Image-Oriented Web Programming,
ACM SIGSOFT Software Engineering Notes, Vol.29, No.2, 30-38, 2004.
(DOI: 10.1145/979743.979764)
31. Takao Shimomura, Muneo Takahashi, Kenji Ikeda and Yoshio Mogami :
Web application generator by image-oriented design,
ACM SIGSOFT Software Engineering Notes, Vol.28, No.2, 14-19, 2003.
32. Zhang Xinjun and Takao Shimomura :
An Approach to Slicing Widget-Based Event-Driven Programs and Its Implementation,
IEICE Transactions on Information and Systems, Vol.E84-D, No.10, 1411-1420, 2001.
(Elsevier: Scopus)
33. Xinjun Zhang and Takao Shimomura :
A Program Slicer Using Def-Slice-Use Tables for Efficiently Slicing Both User-Defined and Library Functions,
IEICE Transactions on Information and Systems, Vol.E83-D, No.9, 1741-1751, 2000.
(Elsevier: Scopus)
34. Takao Shimomura :
FIND: Automated Debugging Assistant System,
Systems and Computers in Japan, Vol.28, No.4, 1-11, 1997.
35. 下村 隆夫 :
FIND: デバッグ自動化支援システム,
電子情報通信学会論文誌(D-I), Vol.79, No.7, 446-456, 1996年.
36. 下村 隆夫, 沖 也寸志, 力石 徹也, 太田 理 :
プログラムスライシングに基づくソフトウェア改造方式,
情報処理学会論文誌, Vol.36, No.9, 2183-2194, 1995年.
37. Tetsuya Chikaraishi, Yasushi Oki, Takao Shimomura and Tadashi Ohta :
The Network Security Reference Model: Its Security Subject and Their Classification Criteria,
Communications and Multimedia Security, 80-96, 1995.
38. 下村 隆夫 :
手続き型言語におけるアルゴリズミックデバッギングの一実現方式,
情報処理学会論文誌, Vol.35, No.11, 2414-2426, 1994年.
39. 下村 隆夫 :
プログラムバグ潜在域の最適化に関する考察,
情報処理学会論文誌, Vol.35, No.8, 1591-1601, 1994年.
40. 下村 隆夫 :
CASEツールの開発におけるソフトウェアバグの分析,
情報処理学会論文誌, Vol.35, No.7, 1380-1389, 1994年.
41. 下村 隆夫 :
Critical Slice の拡張と分割検証の定式化,
情報処理学会論文誌, Vol.34, No.11, 2401-2411, 1993年.
42. Takao Shimomura :
Critical Slice-Based Fault Localization for Any Type of Error,
IEICE Transactions on Information and Systems, Vol.76, No.6, 656-667, 1993.
43. Takao Shimomura :
Bug Localization Based on Error-Cause-Chasing Methods,
Transactions of Information Processing Society of Japan, Vol.34, No.3, 489-500, 1993.
44. 下村 隆夫 :
変数値エラーにおけるCritical Sliceに基づくバグ究明戦略,
情報処理学会論文誌, Vol.33, No.4, 501-511, 1992年.
45. Takao Shimomura :
Automatic Resumption Mechanism for Program Debugging,
ACM SIGSOFT Software Engineering Notes, Vol.16, No.4, 37-41, 1991.
46. Takao Shimomura and Sadahiro Isoda :
Linked-List Visualization for Debugger,
IEEE Software, Vol.8, No.3, 44-51, 1991.
47. Sadahiro Isoda, Takao Shimomura and Yuji Ono :
VIPS: A Visual Debugger,
IEEE Software, Vol.4, No.3, 8-19, 1987.
48. Takao Shimomura :
A Method for Automatically Generating Business Graphs,
IEEE Computer Graphics and Applications, Vol.3, No.6, 55-59, 1983.
(DOI: 10.1109/MCG.1983.263242)

学術論文(紀要・その他):

1. 下村 隆夫, 池田 建司, 最上 義夫 :
ビジュアルイメージ指向設計に基づくプログラム自動生成方式,
徳島大学工学部研究報告, Vol.48, No.48, 5, 2003年.
(CiNii: 80015986990)
2. 下村 隆夫, 沖 也寸志 :
データベースのセキュリティ設計支援,
ATR Journal, No.18, 2-3, 1995年.
3. 下村 隆夫 :
クリティカルスライスとデバッグへの応用,
NTT R&D, Vol.42, No.8, 1017-1026, 1993年.
4. 下村 隆夫, 高橋 健司, 国立 勉 :
エラー逆追跡方式に基づくバグ究明支援システム,
NTT R&D, Vol.40, No.11, 1453-1458, 1991年.
5. 下村 隆夫, 近藤 彰一, 高橋 健司, 国立 勉 :
ソフトウェアのテスト品質を把握し,作業を効率化,
NTT技術ジャーナル, 47-48, 1991年.
6. 磯田 定宏, 下村 隆夫 :
ソフトウェアの実行状況を図式化し,デバッグ作業を効率化,
NTT技術ジャーナル, 75-77, 1990年.
7. Sadahiro Isoda, Takao Shimomura, Shuichiro Yamamoto and Hiroaki Kuroki :
Integrated CASE System: SoftDA,
NTT REVIEW, Vol.2, No.2, 52-61, 1990.
8. 磯田 定宏, 山本 修一郎, 下村 隆夫, 黒木 宏明 :
設計情報とコードの一体管理方式に基づくソフトウェア開発支援システムSoftDA,
NTT R&D, Vol.38, No.11, 1239-1248, 1989年.
9. Ryohei Nakano, Gennai Nakaniwa and Takao Shimomura :
Conversational Statistical Analysis System,
Review of the Electrical Communication Laboratories, Vol.26, No.7-8, 7-8, 1978.
10. 中庭 源内, 中野 良平, 下村 隆夫 :
会話型統計解析システム,
日本電信電話公社電気通信研究所研究実用化報告, Vol.27, No.4, 661-674, 1978年.

総説・解説:

1. 下村 隆夫, 高橋 宗雄, 池田 建司, 最上 義夫 :
Webプログラミングフレームワーク,
情報処理, Vol.45, No.12, 1266-1271, 2004年12月.
2. 下村 隆夫 :
Program Slicing技術とテスト,デバッグ,保守への応用,
情報処理, Vol.33, No.9, 1078-1086, 1992年9月.
3. 下村 隆夫 :
Program Slicing技術とテスト,デバッグ,保守への応用,
電子情報通信学会東北支部専門講習会, 46-53, 1991年1月.

国際会議:

1. Tomoaki Kashiwao, Mayu Hiura, Bahadori Alireza, Kenji Ikeda and Takao Shimomura :
Optimization of a Light Reflector Angle of Surface-mount-devide Light-emitting Diode Packaging Using Ray-tracing Simulation,
Proceedings of SICE Annual Conference 2016, 361-364, つくば, Sep. 2016.
2. Tomoaki Kashiwao, Mayu Hiura, Daigo Hara, Kenji Ikeda and Takao Shimomura :
Effect of Optical Properties of Components for Light Extraction Efficiency of SMD LEDs,
SICE Annual Conference 2014, 1936-1940, Sapporo, Sep. 2014.
3. Takao Shimomura and Kenji Ikeda :
Waiting Blocked-Tree Type Deadlock Detection,
Proc. of Science and Information Conference 2013 (SAI2013), 45-50, London, Oct. 2013.
4. Tomoaki Kashiwao, Kenji Ikeda and Takao Shimomura :
Identification of a Hopping Machine Based on a Piecewise Affine Model,
SICE Annual Conference 2013, 501-504, Nagoya, Sep. 2013.
5. Takao Shimomura, Kenji Ikeda and Montanaro Adriano :
AUTOMATIC COURSEWARE TRANSFERS BETWEEN DIFFERENT PLATFORMS,
Proc. of 6th International Technology, Education and Development Conference (INTED2013), 4334-4341, Valencia, SPAIN, Mar. 2013.
6. Takao Shimomura and Kenji Ikeda :
Extensible Web-based Learning Architecture,
Proc. of the 2012 International Conference on Software Engineering Research and Practice (SERP'12), 1-7, Las Vegas, Jul. 2012.
7. Takao Shimomura, Kenji Ikeda and Montanaro Adriano :
GAME-ORIENTED STIMULATING E-LEARNING,
Proc. of 6th International Technology, Education and Development Conference (INTED2012), 4221-4228, Valencia, Spain, Mar. 2012.
8. Takao Shimomura :
Extensible Web-based Troubleshooter Generation for Computer Administration,
Proc. of International Conference on Computer, Electrical, and Systems Sciences, and Engineering (ICCESSE2011), 760-766, Paris, France, Nov. 2011.
9. Takao Shimomura and Kenji Ikeda :
Tag Command-based Automatic Trouble Diagnosis for Computer Administration,
the 5-th International Conference on New Trends in Information Science and Service Science (NISS2011), 97-102, Macao, Oct. 2011.
10. Kenji Ikeda, Yoko Hatanaka and Takao Shimomura :
Linear Approximation Model for Snake Robots and its Application,
Proc. of SICE Annual Conference 2011, 2915-2918, Tokyo, Sep. 2011.
11. Tomoaki Kashiwao, Kenji Ikeda and Takao Shimomura :
A Design of the Scale Parameter of Wavelet Transformation for the Estimation of Transition Time in PWL Systems,
Proc. of SICE Annual Conference 2011, 973-978, Tokyo, Sep. 2011.
12. 池田 建司, 最上 義夫, 下村 隆夫 :
閉ループ環境における連続時間モデル同定のためのバイアス補償型最小二乗法,
Proceedings of 2010 IEEE International Conference on Control Applications, 1369-1373, 横浜, 2010年9月.
13. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
Bias Compensated State Space Identification Method in Closed Loop Environment,
Proceedings of IFAC ALCOSP 2010, Antalya, Turkey, Aug. 2010.
14. Takao Shimomura :
PercSoft: A Novel Approach to Software Maintenance and Enhancement,
2010 Fifth International Conference on Software Engineering Advances, 1-6, Nice, Aug. 2010.
15. Takao Shimomura, Kenji Ikeda and Takahashi Muneo :
An Approach to GA-driven Automatic Refactoring based on Design Patterns,
2010 Fifth International Conference on Software Engineering Advances, 213-218, Nice, Aug. 2010.
16. Min Zheng, Kenji Ikeda and Takao Shimomura :
Estimation of Continuous-time Nonlinear Systems by using the Unscented Kalman Filter,
Proc. of SICE Annual Conference 2010, 2192-2195, Taipei, Aug. 2010.
17. Kenji Ikeda, Tomoaki Kashiwao and Takao Shimomura :
Estimation of a Transition Time in Piecewise Linear Systems,
Proc. of SICE Annual Conference 2010, 620-624, Taipei, Aug. 2010.
18. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
Bias-Compensated State Space Model Identification,
Proceedings of 19th International Symposium on Mathematical Theory of Networks and Systems, 1369-1372, Budapest, Jul. 2010.
19. Takao Shimomura and Kenji Ikeda :
SERVER-DRIVEN REGRESSION TEST FOR WEB APPLICATIONS AND ITS PERFORMANCE,
Proceedings of the IASTED International Conference on Software Engineering, 234-239, Innsbruck, Austria, Feb. 2010.
20. Takao Shimomura, Kenji Ikeda and Takahashi Muneo :
ATTACHABLE SOFTWARE VISUALIZATION FOR MULTIPLE-THREAD PROGRAMS,
Proceedings of the IASTED International Conference on Software Engineering, 135-141, Innsbruck, Austria, Feb. 2010.
21. Takao Shimomura, Kenji Ikeda and Muneo Takahashi :
Synchronization of Multi-window requests for Server-side Regression Test of Web Applications,
Proceedings of the 9th International Conference on Quality Software (QSIC2009), 1-6, Jeju, Korea, Aug. 2009.
22. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
Bias-Compensated Least Squares Method in Closed Loop Environment, --- Estimation under colored noise ---,
Proceedings of ICCAS-SICE 2009, 4923-4926, Fukuoka, Aug. 2009.
23. Takao Shimomura, Chen Liang Quan and Kenji Ikeda :
Customizable Functional Web Components for Visual Web Programming,
2009 WRI World Congress on Computer Science and Information Engineering, 580-584, Los Angeles, Apr. 2009.
24. Takao Shimomura, Kenji Ikeda and Takahashi Muneo :
Web-Based Troubleshooter Generation for System Administration,
2009 WRI World Congress on Computer Science and Information Engineering, 760-764, Los Angeles, Apr. 2009.
25. Takao Shimomura, Chen Liang Quan and Kenji Ikeda :
SERVER-SIDE REGRESSION TEST FOR WEB APPLICATION DEVELOPMENTS,
Proceedings of the IASTED International Conference on Software Engineering, 63-68, Innsbruck, Feb. 2009.
26. Takao Shimomura, Kenji Ikeda and Muneo Takahashi :
SOFTWARE VISUALIZATION WITH ATTACHABLE DISPLAY CLASSES,
Proceedings of the IASTED International Conference on Software Engineering, 37-42, Innsbruck, Feb. 2009.
27. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
Bias Compensation of Recursive Least Squares Estimate in Closed Loop Environment,
Proceedings of the 18th International Symposium on Mathematical Theory and Networks and Systems, Virginia, USA, Jul. 2008.
28. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
Bias-Compensated Least Squares Method in Closed Loop Environment, --- A filter design for colored noise ---,
Proceedings of 2008 International Symposium on Advanced Control of Industrial Processes, 329-334, Jasper, May 2008.
29. Takao Shimomura, Lang Sok Nhor and Kenji Ikeda :
Extensible Syntax-Oriented Verifier and Its Implementation,
Proceedings of the IASTED International Conference on Software Engineering, 298-303, Innsbruck, Austria, Feb. 2008.
30. Kashiwao Tomoaki, Kenji Ikeda and Takao Shimomura :
Estimation of the transition time of hybrid systems by using wavelet analysis,
Proc of SICE Annual Conference, 2546-2549, Takamatsu, Sep. 2007.
31. Zheng Min, Kenji Ikeda and Takao Shimomura :
Estimation of Rotary Inverted Pendulum by using the Unscented Kalman Filter, --- Estimation of the initial state ---,
Proceedings of SICE Annual Conference, 1670-1673, Takamatsu, Sep. 2007.
32. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
Bias-compensated adaptive observer for a continuous-time model estimation,
Preprints 9th IFAC Workshop Adaptation and Learning in Control and Signal Processing, St. Petersburg, Aug. 2007.
33. Takao Shimomura, Chen Liang Quan, Lang Sok Nhor and Kenji Ikeda :
Integrated Laboratory Network Management System,
Proceedings of the 7th WSEAS International Conference on Applied Informatics and Communications, 188-193, Athens, Aug. 2007.
34. Takao Shimomura, Kenji Ikeda, Chen Liang Quan, Lang Sok Nhor and Takahashi Muneo :
Apty: Easy Enjoyable Effective e-Learning,
Proceedings of the 7th WSEAS International Conference on Applied Informatics and Communications, 211-216, Athens, Aug. 2007.
35. Chen Liang Quan and Takao Shimomura :
Uniform Rich-Component Generation for Web Applications,
International Conference on Cybernetics and Information Technologies, Systems and Applications, 300-305, Orlando, Jul. 2007.
36. Takao Shimomura, Kenji Ikeda, Chen Ling Quan, Lang Sok Nhor and Takahashi Muneo :
Visual Pivot-Table Components for Web Application Development,
Proc. of 3rd IASTED International Conference on Advances in Computer Science and Technology, 90-95, Phuket, Apr. 2007.
37. Takao Shimomura, Kenji Ikeda, Chen Liang Quan, Lang Sok Nhor and Takahashi Muneo :
Customizable Verifiers for Web Applications and Their Implementation,
Proceedings of International Conference on Computer Engineering and Applications, 396-401, Gold Coast, Australia, Jan. 2007.
38. Takao Shimomura, Kenji Ikeda, Chen Liang Quan, Lang Sok Nhor and Takahashi Muneo :
Rich Component Generation for Web Applications Using Custom Tags,
Proceedings of International Conference on Computer Engineering and Applications, 390-395, Gold Coast, Australia, Jan. 2007.
39. Takao Shimomura, Kenji Ikeda, Chen Liang Quan, Lang Sok Nhor and Takahashi Muneo :
Visual Programming for Web Applications that Use HTML Frame Facilities,
Proceedings of International Conference on Computer Engineering and Applications, 384-389, Gold Coast, Australia, Jan. 2007.
40. Min Zheng, Kenji Ikeda and Takao Shimomura :
Parameter estimation of rotary inverted pendulum based on unscented Kalman filter,
Proc. of SICE-ICCAS 2006, 5022-5025, Busan, Oct. 2006.
41. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
Continuous-time model identification by using adaptive observer, --- Estimation of the initial state ---,
Proc. of SICE-ICCAS 2006, 1796-1799, Busan, Oct. 2006.
42. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
Parameter convergence of a continuous-time model estimation method by using adaptive observer,
Proceedings of 17th International Symposium onMathematical Theory of Networks and Systems, 1096-1101, Kyoto, Jul. 2006.
43. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
Discrete-time state variable filters for the estimation of a continuous-time model,
Proceedings of the 14th IFAC Symposium on System Identification, 861-866, Newcastle, Australia, Mar. 2006.
44. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
Continuous-Time Model Identification by using Adaptive Observer, --- On the reduction of the computational cost ---,
Proceedings of SICE 2005, 246-251, Okayama, Aug. 2005.
45. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
Continuous-Time Model Identification using Adaptive Observers, --- On the Selection of State Variable Filters ---,
Proceedings of the 24th IASTED International Conference Modelling, Identification, and Control, 160-165, Innsbruck, Feb. 2005.
46. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
A sufficient condition for the convergence of adaptive observer in continuous-time model identification,
Proceedings of IFAC Workshop on Adaptive and Learning in Control and Signal Processing, 699-704, Yokohama, Aug. 2004.
47. Muneo Takahashi, Inada Eisuke and Takao Shimomura :
An Analysis of Errors in Client Server Systems,
10th ISSAT International Conference Reliability and Quality in Design, 341-345, Las Vegas, Aug. 2004.
48. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
Continuous-Time Model Identification by using Fast Adaptive Observer,
Proceedings Sixteenth International Symposium on Mathematical Theory of Networks and Systems, Leuven, Jul. 2004.
49. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
Continuous-Time Model Identification By Using Adaptive Observer, --- A case of non-uniform sampling ---,
Proc. of the 23rd IASTED International Conference Modelling, Identification, and Control, 92-97, Grindelwald, Feb. 2004.
50. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
Continuous-time model identification by using adaptive observer,
Preprints of 13th IFAC Symposium on System Identification, 325-330, Rotterdam, Aug. 2003.
51. Muneo Takahashi, Takanori Aoki and Takao Shimomura :
An Experiment on the Derivation of Effort Estimation Model Based on Object Points,
9th ISSAT International Conference on Reliability and Quality in Design, 245-249, Hawaii, Aug. 2003.
52. Takao Shimomura, Muneo Takahashi, Kenji Ikeda and Yoshio Mogami :
An Approach to Brain-Image Oriented Programming for Web Applications,
Proc. of 7th World Multiconference on Systemics, Cybernetics and Informatics, 436-441, Orlando, Jul. 2003.
53. Kenji Ikeda, Yoshio Mogami and Takao Shimomura :
Adaptive Observer of Sampled-Data Systems,
Proceedings of the 22nd IASTED International Conference MODELLING, IDENTIFICATION, AND CONTROL, 102-107, Innsbruck, Feb. 2003.
54. Muneo Takahashi, Akihiro Shimoda and Takao Shimomura :
Applicability of Object Point Analysis to Software Sizing,
Proc. of 15th Asia Quality Symposium, 228-231, Taejon, Nov. 2001.
55. Zhang Xinjun and Takao Shimomura :
A Widget-based Event-driven Program Slicer,
Proc. of IASTED International Conference on Software Engineering and Applications, 141-146, Anaheim, Aug. 2001.
56. Takao Shimomura, Xinjun Zhang and Muneo Takahashi :
An Efficient Slicing Method for Library Functions and Its Implementation LibSlicer,
Proc. of 16th IFIP World Computer Congress - International Conference on Software: Theory and Practice, 65-72, Beijing, Aug. 2000.
57. Xinjun Zhang, Yumiko Tashiro, Hiroki Takata, Tetsuo Fujii, Mitsuhisa Yamamuro, Daisuke Kasai and Takao Shimomura :
An Approach to Automated Program Testing and Debugging,
Proc. of 6th Asia-Pacific Software Engineering Conference, 582-589, Takamatsu, Dec. 1999.
58. Takao Shimomura, Xinjun Zhang and Muneo Takahashi :
Analysis of Potential Fault Region for Automated Fault Localization,
Proc. of the IASTED 3rd International Conference on Software Engineering and Applications, 37-42, Arizona, U.S.A., Oct. 1999.
59. Takao Shimomura and Muneo Takahashi :
Two-Phase Fault Localization for Distributed Systems,
Proc. of the Tenth IASTED International Conference on Parallel and Distributed Computing and Systems, 351-356, Las Vegas, Oct. 1998.
60. Takao Shimomura, Hideki Muguruma and Kousai Yamamoto :
A Step to Automated Fault Localization for Distributed Systems,
Proc. of the IASTED International Conference on Parallel and Distributed Computing and Networks, 98-101, Singapore, Aug. 1997.
61. Yasushi Oki, Takao Shimomura and tadashi Ohta :
An Access Determination Algorithm for Preventing Non-Secure Information Flows,
International Conference on Networks, 1-4, Jan. 1996.
62. Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi and Tadashi Ohta :
An Algorithmic Fault-Locating Method for Procedural Languages and Its Implementation FIND,
2nd International Workshop on Automated and Algorithmic Debugging, 1-13, Jan. 1995.
63. Yasushi Oki, Tetsuya Chikaraishi, Takao Shimomura and Tadashi Ohta :
A Design Method for Data Integrity in Object-Oriented Database Systems,
IEEE SICON/ICIE'95, 204-209, Jan. 1995.
64. Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi and Tadashi Ohta :
An Independent Software-Modification Method,
Infernational Conference on Software Maintenance, 214-221, Jan. 1995.
65. Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi and Tadashi Ohta :
Intelligent Software-Fault Location for Distributed Processing Systems,
7th International Conference on Systems Research Informatics and Cybernetics, 164-168, Jan. 1994.
66. Takao Shimomura :
Critical Slice and Its Application to Program Debugging,
3rd Annual Software Engineering Research Forum, 269-276, Jan. 1993.
67. Takao Shimomura and Sadahiro Isoda :
Visual Representation Technique for List Structures and Its Implementation in a Visual Debugger VIPS,
2nd International Conference on High Technology, Information Science and Computer Technology, 191-194, Jan. 1991.
68. Takao Shimomura and Sadahiro Isoda :
CHASE: A Bug-Locating Assistant System,
COMPSAC'91, 412-417, Jan. 1991.
69. Takao Shimomura and Sadahiro Isoda :
VIPS: A Visual Debugger for List Structures,
COMPSAC'90, 530-537, Jan. 1990.
70. Sadahiro Isoda, Takao Shimomura and Yuji Ono :
Visual Debugger VIPS: Visual Representation of Program Execution,
COMPSAC'85, 62-68, Jan. 1985.

国内講演発表:

1. 松村 剛, 池田 建司, 下村 隆夫 :
二足歩行ロボットのエネルギー回生制御,
2013年度 計測自動制御学会四国支部学術講演会, 175-176, 2013年11月.
2. 中野 秀信, 池田 建司, 下村 隆夫 :
Stabilization of the bipedal walking robot using orthogonal function expansion,
2013年度 計測自動制御学会四国支部学術講演会, 123-124, 2013年11月.
3. 加藤 渓祐, 池田 建司, 下村 隆夫 :
Web アプリケーションのデバッグ・保守支援,
電気関係学会四国支部連合大会, Vol.17, No.5, 337, 2013年9月.
4. 池田 建司, 最上 義夫, 下村 隆夫 :
Linear Approximation Model for Bipeds Robot and its Application,
第13回計測自動制御学会制御部門大会, 2013年3月.
5. 西村 拓也, 池田 建司, 下村 隆夫 :
サーバベースWeb アプリケーション回帰統合テスト支援方式,
電気関係学会四国支部連合大会, 327, 2012年9月.
6. 木村 心, 池田 建司, 下村 隆夫 :
Waiting ブロック・ツリー型デッドロックの検出,
電気関係学会四国支部連合大会, 290, 2012年9月.
7. 石田 達大, 池田 建司, 下村 隆夫 :
デザインパターンに基づくソフトウェア・リファクタリング方式の提案,
電気関係学会四国支部連合大会, 278, 2011年9月.
8. 池田 建司, 最上 義夫, 下村 隆夫 :
バイアス補償型部分空間同定法, --- 特異部分空間の開きの数値解析 ---,
第11回適応学習制御シンポジウム資料, 61-66, 2011年1月.
9. 池田 建司, 最上 義夫, 下村 隆夫 :
閉ループ環境におけるバイアス補償型部分空間同定法の数値解析,
第53回自動制御連合講演会論文集, 678-683, 2010年11月.
10. 池田 建司, 柏尾 知明, 下村 隆夫 :
区分的線形システムにおけるトランジションタイムの推定,
第10回計測自動制御学会制御部門大会資料, 2010年3月.
11. 池田 建司, 最上 義夫, 下村 隆夫 :
バイアス補償型部分空間同定法,
第10回適応学習制御シンポジウム資料, 91-94, 2010年1月.
12. 柏尾 知明, 池田 建司, 下村 隆夫 :
ウェーブレット解析を用いた区分的線形システムのトランジションタイムの推定,
第52回自動制御連合講演会講演論文集, 2009年11月.
13. 池田 建司, 最上 義夫, 下村 隆夫 :
対象の低次元モデルに基づくパラメータ推定法,
第38回 制御理論シンポジウム資料, 1-4, 2009年9月.
14. 池田 建司, 最上 義夫, 下村 隆夫 :
閉ループ環境におけるバイアス補償型最小二乗法, --- 有色雑音下での同定 ---,
第9回制御部門大会資料, 2009年3月.
15. 池田 建司, 最上 義夫, 下村 隆夫 :
閉ループ環境における連続時間モデル推定, --- 可同定条件の緩和について ---,
第9回適応学習制御シンポジウム資料, 1-4, 2009年1月.
16. 池田 建司, 最上 義夫, 下村 隆夫 :
閉ループ環境におけるバイアス補償型逐次最小二乗法,
第51回自動制御連合講演会, 584-587, 2008年11月.
17. 池田 建司, 最上 義夫, 下村 隆夫 :
Bias Compensated Recursive Least Squares Estimate in Closed Loop Environment, --- 収束性の改善について ---,
第37回制御理論シンポジウム資料, 105-110, 2008年9月.
18. 澤田 まみ, 池田 建司, 下村 隆夫, 最上 義夫 :
閉ループ環境における連続時間モデル推定, --- バイアス補償型最小二乗法を用いた繰り返し型アルゴリズム ---,
第52回システム制御情報学会研究発表講演会講演論文集, 331-332, 2008年5月.
19. 池田 建司, 最上 義夫, 下村 隆夫 :
閉ループ環境におけるバイアス補償型最小二乗法, --- 繰り返しアルゴリズムの高速化 ---,
第8回制御部門大会, 2008年3月.
20. 池田 建司, 最上 義夫, 下村 隆夫 :
閉ループ環境におけるバイアス補償型最小二乗法, --- 有色雑音下でのフィルタ設計 ---,
8, 57-60, 2008年1月.
21. 池田 建司, 最上 義夫, 下村 隆夫 :
閉ループ環境におけるバイアス補償型最小二乗法, --- 伝達関数表現に基づく定式化 ---,
第50回自動制御連合講演会, 320-323, 2007年11月.
22. 池田 建司, 最上 義夫, 下村 隆夫 :
閉ループ環境におけるバイアス補償型最小二乗法,
第36回制御理論シンポジウム資料, 143-146, 2007年9月.
23. 澤田 まみ, 池田 建司, 下村 隆夫 :
適応観測器を用いた連続時間モデル推定, --- 推定パラメータの一致性について ---,
第51回システム制御情報学会研究発表講演会講演論文集, 235-236, 2007年5月.
24. 井元 将之, 最上 義夫, 小野 典彦, 馬場 則夫, 池田 建司, 下村 隆夫 :
ノイズを含む観測値に基づく学習オートマトンによる大域的最適解探,
講演論文集, 717-718, 2007年5月.
25. 赤峰 利幸, 最上 義夫, 小野 典彦, 池田 建司, 下村 隆夫 :
実数値出力強化学習ユニットを用いた移動体の自律移動システム,
講演論文集, 681-682, 2007年5月.
26. 高畠 真大, 最上 義夫, 小野 典彦, 馬場 則夫, 池田 建司, 下村 隆夫 :
ニューラルネットワークを活用した株価予測システム,
講演論文集, 637-638, 2007年5月.
27. 池田 建司, 最上 義夫, 下村 隆夫 :
バイアス補償型適応観測器を用いた連続時間モデル推定,
第7回適応学習制御シンポジウム資料, 93-98, 2007年1月.
28. 池田 建司, 最上 義夫, 下村 隆夫 :
適応観測器を用いた連続時間モデル推定, --- 状態変数フィルタの繰り返し設計 ---,
第49回自動制御連合講演会資料, 2006年11月.
29. 木下 真規朗, 最上 義夫, 池田 建司, 下村 隆夫 :
改良型強化学習ユニットを用いた地域気象予測システム,
第49回自動制御連合講演会, 2006年11月.
30. 池田 建司, 最上 義夫, 下村 隆夫 :
適応観測器を用いた連続時間モデル同定, --- 状態変数フィルタの再設計 ---,
第6回制御部門大会資料, 25-28, 2006年5月.
31. 坂尾 一将, 池田 建司, 下村 隆夫 :
UKFを用いた非線形連続時間モデルのパラメータ推定,
第50回システム制御情報学会研究発表講演会講演論文集, 291-292, 2006年5月.
32. 池田 建司, 最上 義夫, 下村 隆夫 :
適応観測器を用いた連続時間モデル同定, --- 雑音モデルの推定 ---,
第6回適応学習制御シンポジウム資料, 31-34, 2006年3月.
33. 池田 建司, 最上 義夫, 下村 隆夫 :
適応観測器を用いた連続時間モデル同定の安定性解析,
第48回自動制御連合講演会資料, 639-642, 2005年11月.
34. 池田 建司, 最上 義夫, 下村 隆夫 :
適応観測器を用いた連続時間モデル同定, --- 最適解の存在性について ---,
第34回制御理論シンポジウム資料, 133-136, 2005年10月.
35. 最上 義夫, 松本 光博, 下村 隆夫, 池田 建司 :
多峰性未知目的関数の大域的最適解探索への可変階層構造学習オートマトンの適用,
平成17年度電気関係学会四国支部連合大会講演論文集, 305, 2005年9月.
36. 最上 義夫, 宮浦 祐樹, 池田 建司, 下村 隆夫 :
強化学習ユニットを用いた地域気象予測システムの構築,
平成17年度電気関係学会四国支部連合大会講演論文集, 304, 2005年9月.
37. 池田 建司, 最上 義夫, 下村 隆夫 :
連続時間モデルの適応同定における状態変数フィルタの設計,
第5回制御部門大会資料, 49-52, 2005年5月.
38. 木下 真規朗, 最上 義夫, 下村 隆夫, 池田 建司 :
強化学習に基づく地域降雨予測システム,
第49回システム制御情報学会研究発表講演会講演論文集, 291-292, 2005年5月.
39. 池田 建司, 最上 義夫, 下村 隆夫 :
適応観測器を用いた連続時間モデル同定, --- 状態変数フィルタの一般化 ---,
第47回自動制御連合講演会, 2004年11月.
40. 池田 建司, 最上 義夫, 下村 隆夫 :
多入出力系の繰り返し型連続時間モデル同定,
第33回制御理論シンポジウム資料, 229-232, 2004年11月.
41. 坂尾 一将, 池田 建司, 最上 義夫, 下村 隆夫 :
部分空間法を用いた連続時間モデル同定の制度の改善に関する研究,
平成16年電気関係学会四国支部連合大会講演論文集, 80, 2004年9月.
42. 池田 建司, 最上 義夫, 下村 隆夫 :
適応観測器を用いた連続時間モデル同定, --- 収束性の改善 ---,
第4回制御部門大会資料, 231-236, 2004年5月.
43. 松本 光博, 最上 義夫, 馬場 則夫, 下村 隆夫, 池田 建司 :
可変階層構造学習オートマトンによる未知関数の大域的最適解探索,
第48回システム制御情報学会研究発表講演会講演論文集, 35-36, 2004年5月.
44. 宮浦 祐樹, 最上 義夫, 池田 建司, 下村 隆夫 :
強化学習ユニットによる地域気象予測システムの構築,
第48回システム制御情報学会研究発表講演会講演論文集, 461-462, 2004年5月.
45. 池田 建司, 最上 義夫, 下村 隆夫 :
適応観測器を用いた連続時間モデル同定, --- 不均一サンプリングの場合 ---,
第32回制御理論シンポジウム資料, 261-264, 2003年11月.
46. 下村 隆夫, 高橋 宗雄, 池田 建司, 最上 義夫 :
動的テーブルによるWebアプリケーション自動合成,
第2回 情報科学技術フォーラム, 181-182, 2003年9月.
47. 沖 也寸志, 力石 徹也, 下村 隆夫 :
強制アクセス制御のセキュリティレベル設定問題に関する一考察,
電子情報通信学会総合全国大会, A-331, 1995年3月.
48. 下村 隆夫, 沖 也寸志, 力石 徹也, 太田 理 :
改造に伴う影響を除去するソフトウェア独立改造方式,
情報処理学会全国大会, 7M-6, 1994年9月.
49. 沖 也寸志, 力石 徹也, 下村 隆夫, 太田 理 :
オブジェクト指向データベースのためのインテグリティレベルによるアクセス制御,
電子情報通信学会秋季全国大会, A-188, 1994年9月.
50. 力石 徹也, 沖 也寸志, 下村 隆夫, 太田 理 :
ネットワークセキュリティ参照モデルに基づくセキュリティ問題の分類,
電子情報通信学会秋季全国大会, B-681, 1994年9月.
51. 下村 隆夫 :
プログラムバグ潜在域Critical Sliceの最適化技法,
情報処理学会全国大会, 5-165, 1993年10月.
52. 伊藤 智子, 下村 隆夫 :
知的プログラムレビュー支援システム(IRASY)の提案,
情報処理学会全国大会, 5T-9, 1992年10月.
53. 高橋 健司, 下村 隆夫 :
プログラム解析作業履歴を利用したデバッグ方式,
電子情報通信学会秋季全国大会, D-47, 1991年9月.
54. 高橋 健司, 下村 隆夫 :
ビジュアルデバッガのデバッグ作業効率評価,
情報処理学会全国大会, 4R-5, 1991年3月.
55. 近藤 彰一, 下村 隆夫 :
カバレッジを利用した機能テスト手法の評価,
電子情報通信学会秋季全国大会, D-78, 1991年3月.
56. 高橋 健司, 下村 隆夫, 磯田 定宏 :
カバレッジテストの品質向上効果に関する分析,
情報処理学会全国大会, 1R-4, 1990年3月.
57. 下村 隆夫, 高橋 健司, 磯田 定宏 :
実行フロー逆追跡に基づくバグ究明支援方式の評価,
電子情報通信学会秋季全国大会, D-153, 1989年9月.
58. 高橋 健司, 下村 隆夫, 磯田 定宏 :
プログラム実行状況図形表示におけるリスト構造レイアウト方式,
情報処理学会全国大会, 6R-8, 1989年9月.
59. 高橋 健司, 下村 隆夫, 森下 順次, 磯田 定宏 :
既存デバッグツールを利用した高速なビジュアルデバッグ方式,
情報処理学会全国大会, 2M-3, 1989年3月.
60. 下村 隆夫, 森下 順次, 磯田 定宏 :
プログラム·バグの分析と防止策の提案,
電子情報通信学会春季全国大会, D-421, 1989年3月.
61. 篠塚 恵史, 下村 隆夫, 磯田 定宏 :
拡張可能テンプレートを用いた設計書·コード作成支援エディタ,
情報処理学会全国大会, 1N-2, 1988年3月.
62. 森下 順次, 下村 隆夫, 磯田 定宏 :
ビジュアル·デバッグ方式の評価,
電子情報通信学会春季全国大会, D-378, 1988年3月.
63. 斎 直人, 黒木 宏明, 山本 修一郎, 下村 隆夫 :
設計情報ネットワークに基づくソフトウェア設計法,
情報処理学会全国大会, 3R-6, 1987年3月.
64. 下村 隆夫, 森下 順次, 磯田 定宏 :
プログラム実行フロー逆追跡方式に基づくデバッグ支援,
電子情報通信学会情報·システム部門全国大会, 614, 1987年3月.
65. 黒木 宏明, 斎 直人, 山本 修一郎, 下村 隆夫 :
ソフトウェア関係情報に基づく再利用方式,
情報処理学会全国大会, 2F-1, 1986年9月.
66. 下村 隆夫, 小野 雄二, 磯田 定宏 :
データの動画表示機能をもつビジュアルデバッガシステムVIPS,
情報処理学会全国大会, 4R-12, 1984年9月.
67. 下村 隆夫, 小田 泰充, 佐藤 允, 奥沢 修, 岡田 博 :
モジュール間インタフェース自動検証法の一手法,
電子通信学会総合全国大会, 1492, 1980年3月.
68. 佐藤 允, 小田 泰充, 奥沢 修, 下村 隆夫 :
プログラム設計情報格納法の一考察,
情報処理学会全国大会, 4C-8, 1980年3月.
69. 奥沢 修, 小田 泰充, 佐藤 允, 下村 隆夫 :
設計情報記述言語SDLの特徴について,
電子通信学会情報·システム部門全国大会, 404, 1979年3月.

その他・研究会:

1. 池田 建司, 最上 義夫, 下村 隆夫 :
適応観測器を用いた連続時間モデル同定における収束条件について,
第4回適応学習制御シンポジウム資料, 111-114, 2004年3月.
2. 下村 隆夫, 高橋 宗雄, 池田 建司, 最上 義夫 :
Web アプリケーションにおけるイメージ指向プログラミングの試み,
情報処理学会プログラミング研究会発表資料, 1-7, 2003年1月.
3. 高橋 宗雄, 下田 昌弘, 下村 隆夫 :
オブジェクトポイント法の適用性に関する一考察,
ソフトウェアサイエンス研究会信学技報, Vol.SS99, No.33, 25-32, 1999年9月.
4. 力石 徹也, 沖 也寸志, 下村 隆夫, 太田 理 :
ネットワークセキュリティ参照モデルのセキュリティ課題とその分類基準,
通信の快適性·安全性·信頼性ワークショップ, 1-9, 1995年1月.
5. 沖也 寸志, 下村 隆夫, 力石 徹也 :
オブジェクト指向データベースの改ざん防止方式,
交換システム工学研究会, 55-60, 1994年1月.
6. 下村 隆夫 :
Critical Sliceとデバッグへの応用,
知能ソフトウェア工学研究会, 17-25, 1993年1月.

特許:

1. Takao Shimomura : Automatic Bug Locator for Automatically Locating Bug through Interaction with an Operator, 08/781796 (Jan. 1997), 5854925 (Dec. 1998).
2. 下村 隆夫 : バグ自動検出装置, 特願8-123086 (1996年5月), 特開9-305432 (1997年11月), 特許第2816666号 (1998年8月).
3. 下村 隆夫 : ソフトウェア改造支援装置および方法, 特願6-143133 (1994年6月), 特開8-16381 (1996年1月), 特許第2832330号 (1998年10月).
4. 下村 隆夫 : 属性結合の機密保護装置, 特願6-43409 (1994年3月), 特開7-253989 (1995年10月), 特許第2717502号 (1997年11月).

科学研究費補助金 (KAKEN Grants Database @ NII.ac.jp)