Hiroshi Ishikawa

Profile Information

Affiliation: Faculty of Social Welfare Department of Social Welfare, Doho University

Degree: Ph.D.(Japan Advanced Institute of Science and Technology)

J-GLOBAL ID: 200901039617503800
researchmap Member ID: 1000272225

Research Interests

Research Areas

Research History

Apr, 2023 - Present

Faculty of Social Welfare Department of Social Welfare, Doho University
Apr, 2018 - Mar, 2023

教授, 経営情報学部情報システム学科, 新潟国際情報大学
Apr, 2008 - Mar, 2018

准教授, 情報文化学部情報システム学科, 新潟国際情報大学
Sep, 2013 - Aug, 2014

Guest Researcher, Aarhus University
Apr, 2006 - Mar, 2008

専任講師, 人間文化学部メディア情報文化学科, 福山大学
Apr, 2004 - Mar, 2006

専任講師, 工学部情報処理工学科, 福山大学
Apr, 1998 - Mar, 2004

Fukuyama University
Aug, 1997 - Sep, 1997

International Fellow, Stanford Research Institute

Education

Apr, 1993 - Mar, 1998

Japan Advanced Institute of Science and Technology
Apr, 1987 - Mar, 1989

理学研究科, 金沢大学大学院
Apr, 1982 - Mar, 1986

Faculty of Science, Shizuoka University

Committee Memberships

Jun, 2017 - Present

アクレディテーション委員会, 情報処理学会
May, 2016 - Present

情報システム教育委員会, 情報処理学会

Papers

A Case Study of Refactoring with UML Editor Plug-in for Eclipse - Replace Type Code with State/Strategy -

Hiroshi Ishikawa

Proceedings of ITC-CSCC2020 (Online), 49-53, Jul, 2020 Peer-reviewed
A Simple example of Refactoring codes with modifying Class Diagram using an Eclipse plug-in

Hiroshi Ishikawa

Proceedings of ITC-CSCC 2019, Jun, 2019 Peer-reviewed
An Approach to do Big Refactoring by using Eclipse UML Plugin

Hiroshi Ishikawa

Proceedings of 2018 International Conference on Engineering and Natural Science, Jan, 2018 Peer-reviewed
A Case Study of Refactoring with UML Editor Plug-in for Eclipse - Duplicate Observed Data -

Hiroshi Ishikawa

Proceedings of ITC-CSCC 2017, 2017 Peer-reviewed
ProBを用いたVDMの陰仕様の解釈実行の試み

石川洋

ソフトウェア工学の基礎XXI, 171-176, Dec, 2014 Peer-reviewed
Interpreting Implicit VDM Specifications using ProB

Kenneth Lausdahl, Hiroshi Ishikawa, and Peter Gorm Larsen

Proceesings of the 12nd Overture Workshop on VDM, Technical Report Series CS-TR-1446, Newcastle University, England, Jun, 2014 Peer-reviewedCorresponding author
A Tentative Approach to Program Refactoring with UML Editor Plug-in for Eclipse

Hiroshi Ishikawa

Proceedings of ITC-CSCC 2012, 2012 Peer-reviewed
A Formal Specification for Routing Information Protocol with VDM-SL

Hiroshi Ishikawa

Proceedings of ITC-CSCC2011, Jun, 2011 Peer-reviewed
A Simple Case Study of Program Verification with ESC/Java2

Hiroshi Ishikawa

Proceedings of ITC-CSCC2009, Jul, 2009 Peer-reviewed
An Approach for Refactoring using ESC/Java2 - A Simple Case Study -.

Hiroshi Ishikawa

New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009(SoMeT), 61-72, 2009 Peer-reviewed
An Object-Oriented Design for Origami Activities in UML

Hiroshi Ishikawa, Koji Watanabe

Proceedings of ITC-CSCC2007, Jul, 2007 Peer-reviewedLead author
A GUI-based editor for Checking and Reusing Z Specifications

Hiroshi Ishikawa

Proceedings of WMSCI2006 The 10th World Multi-Conference on Systemics, Cybernetics and Informatics, Jul, 2006 Peer-reviewed
On a GUI-based Editor for Z Specifications and its Applications.

Hiroshi Ishikawa

Proceedings of SERP’06 The 2006 International Conference on Software Engineering Research & Practice, 636-642, Jun, 2006 Peer-reviewed
A Specification Construction Unit-Based Editor for Z.

Hiroshi Ishikawa

Proceedings of the 29th Annual International Computer Software and Applications Conference Workshops and Fast Abstracts (COMPSAC 2005), 5-6, Jul, 2005 Peer-reviewed
A Specification Unit-oriented editor for Z Notations

Hiroshi Ishikawa

Proceedings of ITC-CSCC2005, Jun, 2005 Peer-reviewed
On a GUI based Editor for the Z Notation.

Hiroshi Ishikawa

Proceedings of SERP’05 The 2005 International Conference on Software Engineering Research & Practice, 273-282, Jun, 2005 Peer-reviewed
An algorithm to find all solutions of blind deconvolution

Takashi Ozeki, Eiji Watanabe, Hiroshi Ishikawa

Journal of broadcasting engineering, 9(2) 110-118, Nov, 2004 Peer-reviewed
On a GUI based editor for a Formal Specification Language

Hiroshi Ishikawa

Proceedings of the 3rd Workshop on New Trends on Software Methodologies, Tools and Techniques, 241-248, Sep, 2004 Peer-reviewed
ZEditor -- a GUI based editor for Z Specifications

Hiroshi Ishikawa

Proceedings of ITC-CSCC2004, Jul, 2004 Peer-reviewed
A GUI based editor for Z Specifications

Hiroshi Ishikawa

Proceedings of SCI2004, Volume IV, 470-474, Jul, 2004 Peer-reviewed

Misc.

ぺた語義 ARTICLE：情報システム教育コンテスト（ISECON）への誘い -情報システム教育の質の向上をめざして-

石川洋

情報処理, 63(9) 502-506, Sep, 2022 Lead author
Practice of Information System Development Education about the Proposal stage

Kobayashi Mitsuo, Ishikawa Hiroshi

Abstracts of Annual Conference of Japan Society for Management Information, 2015 515-518, 2015
A Discussion about Quality Improvements of Software by Refactoring

Hiroshi ISHIKAWA

8(8) 1-9, Mar, 2008
A Design for Origami Simulation System Using UML

ISHIKAWA Hiroshi

The Memoirs of the Faculty of Engineering,Fukuyama University., 30 233-238, Dec, 2006
A Design of Traffic Flow Control System Based on Unity between Traffic Engineering and Control Engineering

Hikaru SHIMIZU, Masa-aki KOBAYASHI, Haruko FUJII, Hiroshi ISHIKAWA, Kazuo KAWAKUBO, Toshio SHINTANI

29(29) 271-280, Dec, 2005
A System-Theoretic Study of the Traffic Flow Control in a Traffic Network

KOBAYASHI Masa-aki, SHIMIZU Hikaru, FUJII Haruko, ISHIKAWA Hiroshi

IPSJ SIG technical reports, 2005(47) 37-42, May 25, 2005
A System-Theoretic Study of the Traffic Flow Control in a Traffic Network

Kobayashi Masaaki, Shimizu Hikaru, Fujii Haruko, Ishikawa Hiroshi

IEICE technical report, 105(80) 37-42, May 18, 2005
A Design of Traffic Flow Control System Based on Unity between Traffic Engineering and Control Engineering

Shimizu Hikaru, Kobayashi M., Fujii H., Ishikawa H.

Proceedings of the Japan Joint Automatic Control Conference, 48 72-72, 2005
A System-Theoretic Study of the Signal Control in Urban Road Networks

SHIMIZU Hikaru, KOBAYASHI Masa-aki, FUJII Haruko, ISHIKAWA Hiroshi, KAWAKUBO Kazuo, SHINTANI Toshio

The Memoirs of the Faculty of Engineering,Fukuyama University., 28 231-244, Dec, 2004
A-4-6 A DECOMPOSITION METHOD FOR THE CONVOLUTION OF MULTI DIMENSIONAL SIGNALS

Ozeki Takashi, Watanabe Eiji, Ishikawa Hiroshi, Kobayashi Fujio

Proceedings of the IEICE General Conference, 2004 97-97, Mar 8, 2004
AN ALGORITHM TO FIND ALL SOLUTIONS OF BLIND DECONVOLUTION

OZEKI Takashi, WATANABE Eiji, ISHIKAWA Hiroshi, KOBAYASHI Fujio

IEICE technical report. Image engineering, 103(539) 59-63, Jan 5, 2004
A Restoration Method of Degraded Images using Factorization of Polynomials

Takashi OZEKI, Eiji WATANABE, Hiroshi ISHIKAWA, Fujio KOBAYASHI

27(27) 219-224, Dec, 2003
Analysis and Evaluation of OD Travel Time in Traffic Networks

Hikaru SHIMIZU, Masa-aki KOBAYASHI, Hiroshi ISHIKAWA, Kazuo KAWAKUBO, Toshio SHINTANI

27(27) 191-197, Dec, 2003
On an Automatic Verification based on Formal Specifications

Hiroshi ISHIKAWA

27(27) 225-232, Dec, 2003
A Design of Traffic Flow Smoothness System in Urban Road Networks

Shimizu Hikaru, Kobayashi Masa-aki, Ishikawa Hiroshi

IPSJ SIG technical reports, 2003(114) 35-42, Nov 13, 2003
Image Segmenation by the Competition among Multi-Layered Neural Networks

WATANABE Eiji, OZEKI Takashi, ISHIKAWA Hiroshi

ITE technical report, 27(63) 1-4, Oct 24, 2003
Analysis of Traffic Flow Dynamics at Signalized Intersections

KOBAYASHI Masa-aki, SHIMIZU Hikaru, ISHIKAWA Hiroshi

2003(25) 33-40, Mar 7, 2003
Analysis of Traffic Flow Dynamics at Signalized Intersections

KOBAYASHI Masa-aki, SHIMIZU Hikaru, ISHIKAWA Hiroshi

102(695) 33-40, Feb 28, 2003
Congestion Length Control in Urban Road Networks

Ishikawa Hiroshi, Shimizu Hikaru, Kobayashi Masaaki

Proceedings of the Japan Joint Automatic Control Conference, 46 355-358, 2003
A Separating Method for Convolution of Images Using Factorization of Polynomials

Ozeki Takashi, Watanabe Eiji, Ishikawa Hiroshi, Kobayashi Fujio

Reports of the Technical Conference of the Institute of Image Electronics Engineers of Japan, 3 21-26, 2003

Books and Other Publications

パソコン学

(Role: Contributor)

Mar, 2020 (ISBN: 9784904900062)
ISディジタル辞典―重要用語の基礎知識－第二版

(Role: Joint editor)

情報処理学会情報システムと社会環境研究会, Dec, 2019

Teaching Experience

Professional Memberships

2008 - Present

情報システム学会
2005 - Present

IEEE
2005 - Present

ACM
2004 - Present

電子情報通信学会
1999 - Present

日本数式処理学会
1998 - Present

情報処理学会
1994 - Present

日本ソフトウェア科学会
1992 - Present

人工知能学会

Research Projects

並行自己反映計算の宣言的記述に関する研究

サタケ技術振興財団, 2004

石川洋
Intelligent image processing based on distributed-cooperative environment

Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C), Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2002 - 2003

WATANABE Eiji, ISHIKAWA Hiroshi, OZEKI Takashi
形式仕様言語Ｚの代数仕様による実行支援環境の開発

笹川科学研究助成, 日本科学協会, 2000

永井基裕, 石川洋

Profile Information

Research Interests

Research Areas

Research History

Education

Committee Memberships

Papers

Misc.

Books and Other Publications

Teaching Experience

Professional Memberships

Research Projects

Menu

Coauthors