義永  常宏

  
学科

情報電子工学科

職名

教授

学位

博士(工学)

メールアドレス

yosinaga@tokuyama.ac.jp

電話番号

0834-29-6299

FAX番号

0834-29-6299


授業科目
  • 数学ⅢB(3年)
  • データベース(4年)
  • 確率(3年)
  • 集合と論理(2年)
  • オートマトンと計算論(専攻科1年)
教育上の能力に関する事項
教育方法の実践例
該当なし
 
作成した教科書・教材
該当なし
 
学校の評価
 
実務経験 特記事項
該当なし
 
その他
該当なし
 
職務上の能力に関する事項
資格・免許
中学校教諭一級普通免許状 数学  昭和57年3月25日

山口県教育委員会 昭五六 中一普第六六〇号

高等学校教諭二級普通免許状 数学 昭和57年3月25日

山口県教育委員会 昭五六 高二普第七〇一号

特許等
該当なし
 
実務経験 特記事項
該当なし
 
その他
該当なし
 
著作、学術論文等
学術論文
多項式空間をもつ全称状態のみの1方向交代性マルチカウンタマシン 平成28 年度(第67 回)電気・情報関連学会中国支部連合大会,R16-18-15 平成28 年度(第67 回)電気・情報関連学会中国支部連合大会,R16-18-15 2016年 10月

義永 常宏

1方向自己検証非決定性コオペレーティング有限オートマトンシステム 平成28 年度(第67 回)電気・情報関連学会中国支部連合大会,R16-18-14 平成28 年度(第67 回)電気・情報関連学会中国支部連合大会,R16-18-14 2016年 10月

義永 常宏

Some properties of k-neighborhood template A -type three-dimensional bounded cellular acceptor 平成28年度電気関係学会九州支部連合大会07-1A-05,p.62 平成28年度電気関係学会九州支部連合大会07-1A-05,p.62 2016年 09月

義永 常宏

全称状態のみの1方向交代性マルチプロセッサ有限オートマトンにおけるブール演算に関する閉包性 平成28年度電気関係学会九州支部連合大会07-1A-05,p.61 平成28年度電気関係学会九州支部連合大会07-1A-05,p.61 2016年 09月

義永 常宏

Some properties of k-neighborhood Template A-type two-dimensional bounded cellular acceptors Journal of Robotics, Networking and Artificial Life, Atlantis Press,Vol.2, Issue 4, pp.268-271 Journal of Robotics, Networking and Artificial Life, Atlantis Press,Vol.2, Issue 4, pp.268-271 2016年 03月

A space lower-bound technique for four-dimensional alternating Turing machines International Conference on Artificial Life and Robotics (ICAROB 2016), Okinawa Convention Center, Okinawa,Japan, OS12-2 pp.353-356 International Conference on Artificial Life and Robotics (ICAROB 20 2016年 01月

義永 常宏

Necessary spaces for seven-way four-dimensional Turing machines to simulate four-dimensional one-marker automata International Conference on Artificial Life and Robotics (ICAROB 2016), Okinawa Convention Center, Okinawa,Japan, OS12-2 pp.345-348 International Conference on Artificial Life and Robotics (ICAROB 20 2016年 01月

義永 常宏

全称状態のみの1方向交代性マルチプロセッサ有限オートマトン 平成27年度電気・情報関連学会中国支部第65回連合大会講演論文集,18-5 平成27年度電気・情報関連学会中国支部第65回連合大会講演論文集,18-5 2015年 10月

義永 常宏

Remarks on Four-Dimensional Probabilistic Finite Automata International Journal of Software Engineering and Its Applications, Vol.9, No.6, pp.91-100 International Journal of Software Engineering and Its Applications, Vol.9, No.6, pp.91-100 2015年 06月

Some properties of k-neighborhood Template A-type two-dimensional bounded cellular acceptors Proceedings of The 2015 International Conference on Artificial Life and Robotics (ICAROB 2015), Jan. 10-12, Oita, Japan, pp.344-347 Proceedings of The 2015 International Conference on Artificial Life 2015年 01月

義永 常宏

Sufficient spaces for seven-way four-dimensional Turing machines to simulate four-dimensional one-marker automata Proceedings of The 2015 International Conference on Artificial Life and Robotics (ICAROB 2015), Jan. 10-12, Oita, Japan, pp.340-343 Proceedings of The 2015 International Conference on Artificial Life 2015年 01月

義永 常宏

Homogeneous Systolic Pyramid Automata with n-Dimensional Layers Journal of Robotics, Networks and Artificial Life, Vol. 1, No. 3, pp.203-206 Journal of Robotics, Networks and Artificial Life, Vol. 1, No. 3, pp.203-206 2014年 12月

Remarks on Four-Dimensional Probabilistic Finite Automata Proceedings of 2014 7th International Conference on Signal Processing, Image Processing and Pattern Recognition, pp12-14 Proceedings of 2014 7th International Conference on Signal Processing, Image P 2014年 12月

義永 常宏

Remarks on Recognizability of Four-Dimensional Topological Components Journal of Robotics, Networks and Artificial Life, Vol. 1, No.3, pp.212-215 Journal of Robotics, Networks and Artificial Life, Vol. 1, No.3, pp.212-215 2014年 12月

Some Accepting Powers of Bottom-Up Pyramid Cellular Acceptors with n-dimensional Layers Journal of Robotics, Networks and Artificial Life, Vol. 1, No. 3 , pp.189-193 Journal of Robotics, Networks and Artificial Life, Vol. 1, No. 3 , pp.189-193 2014年 12月

A Note on Cooperating Systems of One-Way Alternating Finite Automata with Only Universal States (査読付) IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICA 2014年 06月

A cooperating system of finite automata (CS-FA) has more than one finite automata (FA's) and an input tape. These FA's operate independently on the input tape and can communicate with each other on the same cell of the input tape. For each k >= 1, let L[CS-1DFA(k)] (L[CS-1UFA(k)]) be the class of sets accepted by CS-FA's with k one-way deterministic finite automata (alternating finite automata with only universal states). We show that L[CS-1DFA(k+1)] - L[CS-1UFA(k)] not equal emptyset and L[CS-1UFA(2)] - U1 <= k<infinity L[CS-1DFA(k)] not equal emptyset. Tatsuya Fujimoto, Tsunehiro Yoshinaga, Makoto Sakamoto

Hierarchy Based on Configuration-Reader about k-Neighborhood Template A-Type Three-Dimensional Bounded Cellular Acceptor (査読付) Journal of Robotics, Networks and Artificial Life, Vol. 1, No. 1, pp.80-84 Journal of Robotics, Networks and Artificial Life, Vol. 1, No. 1, pp.80-84 2014年 06月

Hierarchy Based on Neighborhood Template about k-Neighborhood Template A-Type Three-Dimensional Bounded Cellular Acceptor (査読付) Journal of Robotics, Networks and Artificial Life, Vol. 1, No. 1, pp.85-89 Journal of Robotics, Networks and Artificial Life, Vol. 1, No. 1, pp.85-89 2014年 06月

Hierarchy Based on Configuration-Reader about k-Neighborhood Template A-Type Three-Dimensional Bounded Cellular Acceptor (査読付) Proceedings of the International Conference on Artificial Life and Robotics (ICAROB2014), Compal Hall, Oita, Japan, OS9-2(CD-ROM) Proceedings of the International Conference on Artificial Life and Ro 2014年 01月

義永 常宏

Hierarchy Based on Neighborhood Template about k-Neighborhood Template A-Type Three-Dimensional Bounded Cellular Acceptor (査読付) Proceedings of the International Conference on Artificial Life and Robotics (ICAROB2014), Compal Hall, Oita, Japan, OS9-1(CD-ROM) Proceedings of the International Conference on Artificial Life and Ro 2014年 01月

義永 常宏

k-Neighborhood Template A-Type Three-Dimensional Bounded Cellular Acceptor (査読付) World Academy of Science, Engineering and Technology, Issue 82, pp.1590-1595 World Academy of Science, Engineering and Technology, Issue 82, pp.1590-1595 2013年 10月

“騎士の巡回”に関する一考察 平成25年度電気・情報関連学会中国支部第64回連合大会講演論文集,p.293 平成25年度電気・情報関連学会中国支部第64回連合大会講演論文集,p.293 2013年 10月

義永 常宏

On the Recognizability of Arbitrary Three-Dimensional Patterns 平成25年度電気関係学会九州支部連合大会,08-2A-07,p.414 平成25年度電気関係学会九州支部連合大会,08-2A-07,p.414 2013年 09月

義永 常宏

k-Neighborhood Template A-Type Three-Dimensional Bounnded Cellular Acceptor 平成25年度電気関係学会九州支部連合大会,08-2A-06,p.413 平成25年度電気関係学会九州支部連合大会,08-2A-06,p.413 2013年 09月

義永 常宏

Bottom-Up Pyramid Cellular Acceptors with n-Dimensional Layers (査読付) Proceedings of the 18th International Symposium on Artificial Life and Robotics, Daejeon Convention Center, Daejeon, Korea, OS14-1, pp.296-299 Proceedings of the 18th International Symposium on Artif 2013年 01月

義永 常宏

Homogeneous Systolic Pyramid Automata with n-Dimensional Layers (査読付) Proceedings of the 18th International Symposium on Artificial Life and Robotics, Daejeon Convention Center, Daejeon, Korea, OS14-2, pp.300-303 Proceedings of the 18th International Symposium on Artif 2013年 01月

義永 常宏

Hierarchies Based on the Number of Cooperating Systems of Finite Automata on Four-Dimensional Input Tapes (査読付) World Academy of Science, Engineering and Technology, Issue 72, pp.1068-1073 World Academy of Science, Engineering and Technology, Issue 72, pp.1068-1073 2012年 12月

全称状態のみの自己検証交代性計算に関する考察 平成24年度電気関係学会九州支部連合大会,10-1p-08,p.302 平成24年度電気関係学会九州支部連合大会,10-1p-08,p.302 2012年 09月

義永 常宏

A Relationship between the Accepting Powers of Nondeterministic Finite Automata and Probabilistic Finite Automata on Three-Dimensional Input Tapes 2012年電子情報通信学会総合大会D-1-4,情報・システム講演論文集1, p.4 2012年電子情報通信学会総合大会D-1-4,情報・システム講演論文集1, p.4 2012年 03月

義永 常宏

Non-Closure Properties of Cooperating Systems of One-Way Alternating Finite Automata with Only Universal States 2012年電子情報通信学会総合大会D-1-3,情報・システム講演論文集1, p.3 2012年電子情報通信学会総合大会D-1-3,情報・システム講演論文集1, p.3 2012年 03月

義永 常宏

Bottom-Up Pyramid Cellular Acceptors with Four-Dimensional Layers (査読付) International Journal of Artificial Life and Robotics, Vol.16, No.4, pp.529-532 International Journal of Artificial Life and Robotics, Vol.16, No.4, pp.529-532 2012年 02月

Cooperating systems of four-dimensional finite automata (査読付) Artificial Life and Robotics Artificial Life and Robotics 16巻 4号 pp.555~558 1433-5298 2012年 02月

M. Blum and C. Hewitt first proposed two-dimensional automata as a computational model of two-dimensional pattern processing in 1967, and investigated their pattern recognition abilities. Since then, many researchers in this field have investigated many properties of automata on a two- or three-dimensional tape. However, the question of whether processing four-dimensional digital patterns is much more difficult than processing two- or three-dimensional ones is of great interest from both theoretical and practical standpoints. Thus, the study of four-dimensional automata as a computational model of four-dimensional pattern processing has been meaningful. This article introduces a cooperating system of four-dimensional finite automata as one model of four-dimensional automata. A cooperating system of four-dimensional finite automata consists of a finite number of four-dimensional finite automata and a four-dimensional input tape, where these finite automata work independently (in parallel). The finite automata whose input heads scan the same cell of the input tape can communicate with each other, i. e., every finite automaton is allowed to know the internal states of other finite automata on the cell it is scanning at the moment. In this article we mainly investigate the accepting powers of a cooperating system of seven-way four-dimensional finite automata. The seven-way four-dimensional finite automaton is a four-dimensional finite automaton whose input head can move east, west, south, north, up, down, or in the future, but not in the past, on a four-dimensional input tape. ? 2012 International Symposium on Artificial Life and Robotics (ISAROB). Yasuo Uchida, Takao Ito, Makoto Sakamoto, Kazuyuki Uchida, Takashi Ide, Ryoju Katamune, Hiroshi Furutani, Michio Kono, Tsunehiro Yoshinaga

A Note on Three-Dimensional Probabilistic Finite Automata (査読付) Proceedings of the 17th International Symposium on Artificial Life and Robotics, Oita, Japan, OS22-4, pp.492-495. Proceedings of the 17th International Symposium on Artificial Life and Robotics, Oita 2012年 01月

義永 常宏

A Relationship between the Accepting Powers of Finite Automata and On-Line Tessellation Acceptors on Four-Dimensional Input Tapes 平成23年度電気・情報関連学会中国支部第62回連合大会講演論文集,p.99 平成23年度電気・情報関連学会中国支部第62回連合大会講演論文集,p.99 2011年 10月

義永 常宏

A Relationship between Marker and Inkdot for Four-Dimensional Automata (査読付) INTERNATIONAL JOURNAL of COMPUTERS, NAUN, Issue 1, Vol.5, pp.66-73, Jan., 2011 INTERNATIONAL JOURNAL of COMPUTERS, NAUN, Issue 1, Vol.5, pp.66-73, Jan., 2011 2011年 01月

Bottom-Up Pyramid Cellular Acceptors with Four-Dimensional Layers (査読付) Proceedings of the 16th International Symposium on Artificial Life and Robotic s, Oita, Japan, Jan. 27-29th, pp.187-190. Proceedings of the 16th International Symposium on Artificial Life and Robotic 2011年 01月

義永 常宏

Cooperating Systems of Four-Dimensional Finite Automata (査読付) Proceedings of the 16th International Symposium on Artificial Life and Robotics, Oita, Japan, Jan. 27-29th, pp.191-194. Proceedings of the 16th International Symposium on Artificial Life and Robotics 2011年 01月

義永 常宏

Path-Bounded Finite Automata on Four-Dimensional Input Tapes (査読付) INTERNATIONAL JOURNAL OF COMPUTERS, NAUN, Issue 1, Vol.5, pp.58-65, Jan., 2011 INTERNATIONAL JOURNAL OF COMPUTERS, NAUN, Issue 1, Vol.5, pp.58-65, Jan., 2011 2011年 01月

Cooperating Systems of One-Way Alternating Finite Automata with Only Universal States, 平成22年度電気・情報関連学会中国支部第61回連合大会講演論文集,pp.283-284 平成22年度電気・情報関連学会中国支部第61回連合大会講演論文集,pp.283-284 2010年 10月

義永 常宏

Hierarchies Based on the Number of Cooperating Systems of Four-Dimensional Finite Automata 平成22年度電気・情報関連学会中国支部第61回連合大会講演論文集,p.282 平成22年度電気・情報関連学会中国支部第61回連合大会講演論文集,p.282 2010年 10月

義永 常宏

Marker versus Inkdot on Four-Dimensional Tapes (査読付) Proceedings of the 9th WSEAS International Conference on System Science and Simulation in Engineering, Iwate Prefectural University, Japan Oct. 4-5th, pp.327-331 Proceedings of the 9th WSEAS Internat 2010年 10月

義永 常宏

Path-Bounded Four-Dimensional Finite Automata (査読付) Proceedings of the 9th WSEAS International Conference on System Science and Simulation in Engineering, Iwate Prefectural University, Japan Oct. 4-5th, pp.332-335 Proceedings of the 9th WSEAS Internat 2010年 10月

義永 常宏

三次元物体の形状類似検索 平成22年度電気・情報関連学会中国支部第61回連合大会講演論文集,pp.22-23 平成22年度電気・情報関連学会中国支部第61回連合大会講演論文集,pp.22-23 2010年 10月

義永 常宏

徳山高専における学習・教育レビュー室の活動 (査読付) 平成22年度高専教育講演論文集,pp.53-56 平成22年度高専教育講演論文集,pp.53-56 2010年 08月

義永 常宏

Non-closure Properties of 1-Inkdot Nondeterministic Turing Machines and Alternating Turing Machines with Only Universal States Using Small Space (査読付) IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICA 2010年 06月

This paper investigates the closure properties of 1-inkdot nondeterministic Turing machines and 1-inkdot alternating Turing machines with only universal states which have sublogarithmic space. We show for example that the classes of sets accepted by these Turing machines are not closed under length-preserving homomorphism, concatenation with regular set, Kleene closure, and complementation. Tsunehiro Yoshinaga, Jianliang Xu, Makoto Sakamoto

Hardware Hierarchies and Recognizabilities of Four-Dimensional Synchronized Alternating Turing Machines (査読付) WSEAS TRANSACTIONS on COMPUTERS, Issue 4, Vol.9, pp.329-338 WSEAS TRANSACTIONS on COMPUTERS, Issue 4, Vol.9, pp.329-338 2010年 04月

Synchronized Alternating Turing Machines on Four-Dimensional Input Tapes (査読付) WSEAS TRANSACTIONS on COMPUTERS, Issue 4, Vol.9, pp.319-328 WSEAS TRANSACTIONS on COMPUTERS, Issue 4, Vol.9, pp.319-328 2010年 04月

全称状態のみの交代性コオペレーティング有限オートマトンシステムに関するある性質について 情報処理学会創立50周年記念(第72回)全国大会講演論文集,5N-1, pp. 1-407-1-408 情報処理学会創立50周年記念(第72回)全国大会講演論文集,5N-1, pp. 1-407-1-408 2010年 03月

義永 常宏

Four-Dimensional Synchronized Alternating Turing Machines (査読付) Proceedings of AMERICAN-MATH’10,Cambridge, USA, Jan. 27-29, pp.195-200 Proceedings of AMERICAN-MATH’10,Cambridge, USA, Jan. 27-29, pp.195-200 2010年 01月

義永 常宏

Some Results about Hierarchy and Recognizability of Four-Dimensional Synchronized Alternating Turing Machines (査読付) Proceedings of AMERICAN-MATH’10,Cambridge, USA, Jan. 27-29, pp.201-205 Proceedings of AMERICAN-MATH’10,Cambridge, USA, Jan. 27-29, pp.201-205 2010年 01月

義永 常宏

Cooperating Systems of Four-Dimensional Finite Automata 平成21年度電気・情報関連学会中国支部第60回連合大会講演論文集,p.360 平成21年度電気・情報関連学会中国支部第60回連合大会講演論文集,p.360 2009年 10月

義永 常宏

Cooperating Systems of One-Way Alternating Finite Automata with Only Universal States 平成21年度電気・情報関連学会中国支部第60回連合大会講演論文集,pp.361-362 平成21年度電気・情報関連学会中国支部第60回連合大会講演論文集,pp.361-362 2009年 10月

義永 常宏

Four-Dimensional Probabilistic Finite Automata 平成21年度電気・情報関連学会中国支部第60回連合大会講演論文集,p.359 平成21年度電気・情報関連学会中国支部第60回連合大会講演論文集,p.359 2009年 10月

義永 常宏

産学連携によるソフトウェア教育の一例 平成21年度電気・情報関連学会中国支部第60回連合大会講演論文集,p. 426 平成21年度電気・情報関連学会中国支部第60回連合大会講演論文集,p. 426 2009年 10月

義永 常宏

A Note on One-Way Turing Machines with Sublinear Space 平成20年度電気・情報関連学会中国支部第59回連合大会講演論文集,p.87 平成20年度電気・情報関連学会中国支部第59回連合大会講演論文集,p.87 2008年 10月

義永 常宏

WEBを用いたデータベース検索システムの構築 日本高専学会第13回年会講演会講演論文集 PP.9-10 日本高専学会第13回年会講演会講演論文集 PP.9-10 2007年 09月

義永 常宏

ソフトウェア工学教育の実践例 高等専門学校情報処理教育研究発表会論文集第28号 pp.91-94 高等専門学校情報処理教育研究発表会論文集第28号 pp.91-94 2007年 08月

義永 常宏

実践的ソフトウェア工学教育の実施例と評価 電気学会教育フロンティア研究会資料,FIE-07-4,pp.13-16 電気学会教育フロンティア研究会資料,FIE-07-4,pp.13-16 2007年 03月

義永 常宏

A Note on Non-Closure Property of Sublogarithmic Space-Bounded 1-Inkdot Alternating Pushdown Automata with Only Existential (Universal) States (査読付) J. Comput. Sci. & Technol, Vol.21, No.6, pp.979-983 J. Comput. Sci. & Technol, Vol.21, No.6, pp.979-983 2006年 11月

On 1-Inkdot Self-Verifying Nondeterministic and Nondeterministic Turing Machines with Small Space 平成18年度電気・情報関連学会中国支部第57回連合大会講演論文集,pp.154-155 平成18年度電気・情報関連学会中国支部第57回連合大会講演論文集,pp.154-155 2006年 10月

義永 常宏

Sublogarithmic space-bounded multi-inkdot alternating Turing machines with only existential (universal) states (査読付) IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICA 2006年 05月

This paper investigates the accepting powers of two-way alternating Turin-g machines (2ATM's) with only existential (universal) states which have inkdots and sublogarithmic space. It is shown that for sublogarithmic space-bounded computations, (i) multi-inkdot 2ATM's with only existential states and the ones with only universal states are incomparable, (ii) k-inkdot 2ATM's are better than k-inkdot 2ATM's with only existential (universal) states, k >= 0, and (iii) the class of sets accepted by multi-inkdot 2ATM's with only existential (universal) states is not closed under complementation. Tsunehiro Yoshinaga, Jianliang Xu, Katsushi Inoue

Two-Way Self-Verifying Nondeterministic Counter Automata 平成17年度電気・情報関連学会中国支部第56回連合大会講演論文集,pp.210-211 平成17年度電気・情報関連学会中国支部第56回連合大会講演論文集,pp.210-211 2005年 10月

義永 常宏

Sublogarithmic Space-bounded Multi-Inkdot Alternating Turing Machines with Only Existential (Universal) States (査読付) Proceedings of the Third International Conference on Information, Tokyo, Japan, November 29-December 2, pp.193-198 Proceedings of the Third International Conference on Information, Tokyo, Japan, Nove 2004年 11月

義永 常宏

A Relationship between Realtime One-Way Self-Verifying Nondeterministic and Alternating Multi-Counter Automata 平成16年度電気・情報関連学会中国支部第55回連合大会講演論文集,pp.257-258 平成16年度電気・情報関連学会中国支部第55回連合大会講演論文集,pp.257-258 2004年 10月

義永 常宏

Some Observations on One-Way Alternating Pushdown Automata with Sublinear Space (査読付) IEICE Trans. FUNDAMENTALS, Vol.E87-A, No.5, pp.1012-1019 (Special Section on DiscreatMathematics and Its Applications) IEICE Trans. FUNDAMENTALS, Vol.E87-A, No.5, pp.1012-1019 (Special Section on Dis 2004年 05月

高専の計算機工学科向けカリキュラム 電気学会教育フロンティア研究会資料,FIE-04-9,pp.45-48 電気学会教育フロンティア研究会資料,FIE-04-9,pp.45-48 2004年 03月

義永 常宏

Some Observations on One-Way Alternating Pushdown Automata with Sublinear Space(共著) IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science E87-A巻 5号 pp.1012~1019 2004年

Polynomial Time-Bounded Alternating Multi-Counter Automata 平成15年度電気・情報関連学会中国支部第54回連合大会講演論文集,pp.273-274 平成15年度電気・情報関連学会中国支部第54回連合大会講演論文集,pp.273-274 2003年 10月

義永 常宏

Sublinear Space-Bounded One-Way Self-Verifying Nondeterministic Turing Machines 平成15年度電気・情報関連学会中国支部第54回連合大会講演論文集,pp.271-272 平成15年度電気・情報関連学会中国支部第54回連合大会講演論文集,pp.271-272 2003年 10月

義永 常宏

On 1-Inkdot Alternating Pushdown Automata with Sublogarithmic Space (査読付) IEICE Trans. Inf. & Syst., Vol.E86-D, No.9, pp.1814-1823 IEICE Trans. Inf. & Syst., Vol.E86-D, No.9, pp.1814-1823 2003年 09月

Las Vegas, Self-verifying Nondeterministic and Deterministic One-Way Multi-Counter Automata with Bounded Time (査読付) IEICE Trans. FUNDAMENTALS, Vol.E86-A, No.5, pp.1207-1212 (Special Section on DiscreatMathematics and Its Applications) IEICE Trans. FUNDAMENTALS, Vol.E86-A, No.5, pp.1207-1212 (Special Section on Dis 2003年 05月

義永 常宏

Las Vegas, Self-Verifying Nondeterministic and Deterministic One-Way Multi-Counter Automata with Bounded Time(共著) IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E86-A, 5, 1207-1212巻 2003年

On 1-Inkdot Alternating Pushdown Automata with Sublogarithmic Space (共著) IEICE Transactions on Information and Systems IEICE Transactions on Information and Systems E86-D, 9, pp.1814-1824巻 2003年

Two-way Alternating Counter Automata with Only Universal State 徳山工業高等専門学校研究紀要,第27号,pp.41-44 徳山工業高等専門学校研究紀要,第27号,pp.41-44 2002年 12月

Realtime One-Way Self-Verifying Nondeterministic Multi-Counter Automata 平成14年度電気・情報関連学会中国支部第53回連合大会講演論文集,pp.352-353 平成14年度電気・情報関連学会中国支部第53回連合大会講演論文集,pp.352-353 2002年 10月

義永 常宏

Las Vegas, Self-verifying Nondeterministic and Deterministic One-Way Multi-Counter Automata with Bounded Time (査読付) Proceedings of the Second International Conference on Information, Beijing, China, July 24-27, pp.193-198 Proceedings of the Second International Conference on Information, Beijing, China, July 24-27 2002年 07月

義永 常宏

A Note on RealtimeOne-Way Alternating and Deterministic Multi-Counter Automata (査読付) IEICE Trans. Inf. & Syst., Vol.E85-D, No.2, pp.346-349 IEICE Trans. Inf. & Syst., Vol.E85-D, No.2, pp.346-349 2002年 02月

A Note on Realtime One-Wey Alternating and Deterministic Multi-Counter Automata(共著) IEICE Transactions on Information and Systems IEICE Transactions on Information and Systems E85-D巻 2号 pp.346~349 2002年

Closure Property of Sublogarithmic Space-Bounded 1-Inkdot Alternating Turing Machines with Only Existential (Universal) States 平成13年度電気・情報関連学会中国支部第52回連合大会講演論文集,pp.505-506 平成13年度電気・情報関連学会中国支部第52回連合大会講演論文集,pp.505-506 2001年 10月

義永 常宏

Alternation for Sublogarithmic Space-Bounded Alternating Pushdown Automata (査読付) Theoretical Computer Science, Vol.259, pp.475-479 Theoretical Computer Science, Vol.259, pp.475-479 259巻 1-2号 pp.475~492 0304-3975 2001年 05月

Sublogarithmic Space-bounded Two-Way Multi-Inkdot Alternating Turing machines with Only Universal States (査読付) IEICE Trans. Inf. & Syst., Vol.E84-D, No.1, pp.61-64 IEICE Trans. Inf. & Syst., Vol.E84-D, No.1, pp.61-64 2001年 01月

Sublogarithmic Space-Bounded Multi-Inkdot Two-Way Alternating Turing Machines with Only Universal States(共著) IEICE Transactions on Information and Systems IEICE Transactions on Information and Systems E84-D巻 1号 pp.61~64 2001年

Las Vegas, Self-verifying Non¬determin¬istic and Deter¬mi¬nistic One-Way Multi-Counter Automata with Bounded Time 平成12年度電気・情報関連学会中国支部第51回連合大会講演論文集,pp.243-244 平成12年度電気・情報関連学会中国支部第51回連合大会講演論文集,pp.243-244 2000年 10月

義永 常宏

Multi-Inkdot Multi-Counter Automata with Sublinear Space and Constant Leaf-Size 平成12年度電気・情報関連学会中国支部第51回連合大会講演論文集,pp.245-246 平成12年度電気・情報関連学会中国支部第51回連合大会講演論文集,pp.245-246 2000年 10月

義永 常宏

Some Observations on 1-Inkdot Alternating Multi-Counter Automata with Sublinear Space (査読付) IEICE Trans. Inf. & Syst., Vol.E83-D, No.2, pp.285-290 IEICE Trans. Inf. & Syst., Vol.E83-D, No.2, pp.285-290 2000年 02月

義永 常宏

Some Observations on 1-Inkdot Alternating Multi-counter Automata with Sublinear Space(共著) IEICE Transactions on Information and Systems IEICE Transactions on Information and Systems E83-D巻 2号 pp.285~290 2000年

Sublogarithmic Space-bounded Multi-Inkdot Alter¬nat¬ing Turing ma¬chines with Only Uni¬versal States 平成11年度電気・情報関連学会中国支部第50回連合大会講演論文集,pp.237-238 平成11年度電気・情報関連学会中国支部第50回連合大会講演論文集,pp.237-238 1999年 10月

義永 常宏

A Hierarchical Result of Realtime One-Way Alternating and Deterministic Multi-Counter Automata 平成10年度電気・情報関連学会中国支部第49回連合大会講演論文集,pp.5-6 平成10年度電気・情報関連学会中国支部第49回連合大会講演論文集,pp.5-6 1998年 10月

義永 常宏

A Note on Alternating Counter Automata with Only Universal States 平成9年度電気・情報関連学会中国支部第48回連合大会講演論文集,pp.374-375 平成9年度電気・情報関連学会中国支部第48回連合大会講演論文集,pp.374-375 1997年 10月

義永 常宏

Closure Properties of Alternating Multi-Counter Automata with Small Space 電子情報通信学会信学技報 COMP96-47, pp.91-100 電子情報通信学会信学技報 COMP96-47, pp.91-100 1996年 11月

義永 常宏

Alternating Finite Automata with Counters and Stack-Counters 山口大学 山口大学 1996年 03月

義永 常宏

A Note on Alternating Multi-Counter Automata with Small Space (査読付) Transactions of Information Processing Society of Japan, Vol.36, No.12, pp.2741-2753 Transactions of Information Processing Society of Japan, Vol.36, No.12, pp.2741-2753 1995年 12月

義永 常宏

Sublogarithmic Space-Bounded Alternating Pushdown Automata with and without 1-Inkdot: Alternation Hierarchy and Related Problems 電子情報通信学会信学技報 COMP95-57, pp.1-10 電子情報通信学会信学技報 COMP95-57, pp.1-10 1995年 11月

義永 常宏

Closure Properties of Realtime One-Way Alternating Finite Automata with Counters and Stack-Counters 平成7年度電気・情報関連学会中国支部第46回連合大会講演論文集,pp.437-438 平成7年度電気・情報関連学会中国支部第46回連合大会講演論文集,pp.437-438 1995年 10月

義永 常宏

Alternating Finite Automata with Counters and Stack-Counters Operating in Realtime (査読付) IEICE Trans. Inf. & Syst., Vol.E78-D, No.8, pp.929-938 IEICE Trans. Inf. & Syst., Vol.E78-D, No.8, pp.929-938 1995年 08月

義永 常宏

Alternation for Two-Way (Inkdot) Multi-Counter Automata with Sublinear Space 数理科学講究録906,アルゴリズムと計算量理論,pp.64-72 数理科学講究録906,アルゴリズムと計算量理論,pp.64-72 1995年 04月

義永 常宏

Alternation for Two-Way (Inkdot) Multi-Counter Automata with Sublinear Space 電子情報通信学会信学技報 COMP95-8, pp.69-78 電子情報通信学会信学技報 COMP95-8, pp.69-78 1995年 04月

義永 常宏

時刻印を用いた分散型デッドロック検出アルゴリズムとその評価 (査読付) 電子情報通信学会論文誌D-Ⅰ,Vol.J78-D-Ⅰ,No.3,pp.339-348 電子情報通信学会論文誌D-Ⅰ,Vol.J78-D-Ⅰ,No.3,pp.339-348 1995年 03月

義永 常宏

トークン授受方式による分散デッドロック検出アルゴリズム (査読付) 電子情報通信学会論文誌D-Ⅰ,Vol.J78-D-Ⅰ,No.1,pp.32-43 電子情報通信学会論文誌D-Ⅰ,Vol.J78-D-Ⅰ,No.1,pp.32-43 1995年 01月

義永 常宏

A note on alternating malti-counter automata with Small space(共著) Transaction of IPS of Japan Transaction of IPS of Japan 36巻 12号 pp.2741~2753 1995年

Alternating Finite Automata with Counters and Staek-Counters Operating in Realtime(共著) IEICE Transaetions on Information and Systems IEICE Transaetions on Information and Systems E78-D巻 8号 pp.929~938 1995年

A Hierarchy Result of Realtime One-Way Alternating Multi-Stack-Counter Automata 平成6年度電気・情報関連学会中国支部第45回連合大会講演論文集,pp.440-441 平成6年度電気・情報関連学会中国支部第45回連合大会講演論文集,pp.440-441 1994年 10月

義永 常宏

A Note on Alternating Multi-Counter Automata with Small Space 電子情報通信学会信学技報 COMP94-36, pp.1-10 電子情報通信学会信学技報 COMP94-36, pp.1-10 1994年 09月

義永 常宏

Some Hierarchy Results of Alternating Finite Automata with Counters and Stack-Counters 数理解析研究所講究録871,計算量理論,pp.8-14 数理解析研究所講究録871,計算量理論,pp.8-14 1994年 05月

義永 常宏

Hierarchical Properties of Realtime One-Way Alternating Multi-Stack-Counter Automata (査読付) IEICE Trans. FUNDAMENTALS, Vol.E77-A, No.4, pp.621-629 IEICE Trans. FUNDAMENTALS, Vol.E77-A, No.4, pp.621-629 1994年 04月

Hierarchical Properties of Realtime One-Way Alternating Multi-Stack-Counter Automata(共著) IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science E77-A巻 4号 pp.621~629 1994年

A Note on Multi-Inkdot Nondeterministic Turing Machines with Small Space (査読付) Information Processing Letters Vol.48, pp.285-288 Information Processing Letters Vol.48, pp.285-288 48巻 6号 pp.285~288 0020-0190 1993年 12月

義永 常宏

A Note on Multi-Inkdot Nondeterministic Turing Machines with Small Space 平成5年度電気・情報関連学会中国支部第44回連合大会講演論文集,pp.362-363 平成5年度電気・情報関連学会中国支部第44回連合大会講演論文集,pp.362-363 1993年 10月

義永 常宏

Hierarchical Properties of Realtime One-Way Alternating Multi-Stack-Counter Automata 電子情報通信学会信学技報 COMP93-46, pp.59-68 電子情報通信学会信学技報 COMP93-46, pp.59-68 1993年 09月

義永 常宏

レベル情報を用いたデッドロック検出アルゴリズムのシミュレーションによる評価 徳山工業高等専門学校研究紀要,第16号,pp. 45-50 徳山工業高等専門学校研究紀要,第16号,pp. 45-50 1992年 12月

義永 常宏

分散トランザクションシミュレーションシステムのUNIX上での実現 徳山工業高等専門学校研究紀要,第16号,pp. 57-62 徳山工業高等専門学校研究紀要,第16号,pp. 57-62 1992年 12月

義永 常宏

連続型と周期型の両方に適用可能なレベル情報を用いたデッドロック検出アルゴリズムとその評価 (査読付) 電子情報通信学会論文誌D-Ⅰ,Vol.J75-D-Ⅰ,No.11,pp.1062-1069 電子情報通信学会論文誌D-Ⅰ,Vol.J75-D-Ⅰ,No.11,pp.1062-1069 1992年 11月

義永 常宏

図書館データベースシステムの開発 徳山工業高等専門学校研究紀要,第14号,pp.89-98 徳山工業高等専門学校研究紀要,第14号,pp.89-98 1990年 12月

義永 常宏

学校図書館データベースシステムの開発 平成5年度電気関連学会中国支部第41回連合大会講演論文集,p.162 平成5年度電気関連学会中国支部第41回連合大会講演論文集,p.162 1990年 10月

義永 常宏

図書館データベースシステム-図書管理システム- 平成2年度高専情報処理教育研究協議会研究発表会,pp.76-79 平成2年度高専情報処理教育研究協議会研究発表会,pp.76-79 1990年 08月

義永 常宏

LU分解と一般逆行列 徳山工業高等専門学校研究紀要,第13号,pp.75-82 徳山工業高等専門学校研究紀要,第13号,pp.75-82 1989年 12月

義永 常宏

周期的実行によるレベル情報を用いたデッドロック検出アルゴリズム 徳山工業高等専門学校研究紀要,第13号,pp.45-52 徳山工業高等専門学校研究紀要,第13号,pp.45-52 1989年 12月

義永 常宏

図書館データベースの論理設計 徳山工業高等専門学校研究紀要,第11号,pp.35-41 徳山工業高等専門学校研究紀要,第11号,pp.35-41 1987年 12月

義永 常宏

学校図書館データベースシステムの論理設計について 昭和62年度電気四学会中国支部第38回連合大会講演論文集,p.230 昭和62年度電気四学会中国支部第38回連合大会講演論文集,p.230 1987年 10月

義永 常宏

解説文情報を利用した図書検索 情報処理学会第32回(昭和61年前期) 全国大会講演論文集,1B-5,pp.791-792 情報処理学会第32回(昭和61年前期) 全国大会講演論文集,1B-5,pp.791-792 1986年 03月

義永 常宏

レベル情報を用いたデッドロック検出アルゴリズム (査読付) 電子情報通信学会論文誌D,Vol.J69-D,No.1,pp.42-49 電子情報通信学会論文誌D,Vol.J69-D,No.1,pp.42-49 1986年 01月

義永 常宏

シミュレーションによるデッドロック検出アルゴリズムの評価 徳山工業高等専門学校研究紀要,第9号,pp.67-76 徳山工業高等専門学校研究紀要,第9号,pp.67-76 1985年 12月

義永 常宏

周期的実行によるデッドロック検出アルゴリズム 情報処理学会研究報告,データベース・システム 48-1,85-DB-48,pp.1-10 情報処理学会研究報告,データベース・システム 48-1,85-DB-48,pp.1-10 1985年 07月

義永 常宏

周期的実行によるデッドロック検出アルゴリズム 昭和60年度電子通信学会総合全国大会講演論文集,1521,6,p.105 昭和60年度電子通信学会総合全国大会講演論文集,1521,6,p.105 1985年 03月

義永 常宏

デッドロック検出アルゴリズムについて 電子通信学会技術研究報告 Vol.84(EC84-64) , No.308, pp.59-66 電子通信学会技術研究報告 Vol.84(EC84-64) , No.308, pp.59-66 1985年 02月

義永 常宏

UCSD PASCALによるCAP-X処理系の作成 (第1部)アセンブラ, ローダ 徳山工業高等専門学校研究紀要,第9号,pp.67-76 徳山工業高等専門学校研究紀要,第9号,pp.67-76 1984年 12月

義永 常宏

UCSD PASCALによるCAP-X処理系の作成 (第2部) COMP-Xシミュレータ 徳山工業高等専門学校研究紀要,第9号,pp.77-86 徳山工業高等専門学校研究紀要,第9号,pp.77-86 1984年 12月

義永 常宏

UCSD PASCALによるCAP-X処理系の作成 昭和59年度電気四学会中国支部第35回連合大会講演論文集,p.101 昭和59年度電気四学会中国支部第35回連合大会講演論文集,p.101 1984年 10月

義永 常宏

Berlekamp-Masseyアルゴリズムを用いたBCH符号の復号 電子通信学会技術研究報告 Vol.82(AL82-55), No.172, pp.95-103 電子通信学会技術研究報告 Vol.82(AL82-55), No.172, pp.95-103 1982年 11月

義永 常宏

有限体上の4次以下の方程式の解法について 情報処理学会第25回(昭和57年後期)全国大会講演論文集,5M-6,pp.43-44 情報処理学会第25回(昭和57年後期)全国大会講演論文集,5M-6,pp.43-44 1982年 10月

義永 常宏

その他
1-Way versus 2-Way Alternating Multi-Counter Automata with Sublinear Space 徳山工業高等専門学校研究紀要 徳山工業高等専門学校研究紀要 42号 pp.1~4 2018年

入学時と前期末の2回のアンケート結果による平成21年度入学生の特徴と心情変化に関する調査 徳山工業高等専門学校研究紀要,第33号,pp.1-10 徳山工業高等専門学校研究紀要,第33号,pp.1-10 2009年 12月

「小学生がつくるロボットコンテスト」を通じた協同教育の実践 工学教育,57巻,3号,pp.67-70 工学教育,57巻,3号,pp.67-70 2009年 05月

新入生アンケートに見る平成20年度入学生の特徴および6年前との比較 徳山工業高等専門学校研究紀要,第32号,pp.1-10 徳山工業高等専門学校研究紀要,第32号,pp.1-10 2008年 12月

産学協同実践的ソフトウェア工学教育の評価 論文集「高専教育」第31号,pp.125-128 論文集「高専教育」第31号,pp.125-128 2008年 03月

Webベースの簡単メーリングリスト管理システム 徳山工業高等専門学校研究紀要,第31号,pp.65-68 徳山工業高等専門学校研究紀要,第31号,pp.65-68 2007年 12月

義永 常宏

本校における迷惑メール対策の運用とその状況 徳山工業高等専門学校研究紀要,第31号,pp.69-72 徳山工業高等専門学校研究紀要,第31号,pp.69-72 2007年 12月

義永 常宏

Sublinear Space-Bounded Multi-Inkdot Alternating Multi-Counter Automata with Only Universal States 徳山工業高等専門学校研究紀要,第30号,pp.21-25 徳山工業高等専門学校研究紀要,第30号,pp.21-25 2006年 12月

義永 常宏

Sublinear Space-Bounded One-Way Self-Verifying Nondeterministic Turing Machines 徳山工業高等専門学校研究紀要,第29号,pp.25-28 徳山工業高等専門学校研究紀要,第29号,pp.25-28 2005年 12月

義永 常宏

情報電子工学科における新カリキュラム 論文集「高専教育」第27号,pp.251-256 論文集「高専教育」第27号,pp.251-256 2004年 03月

Some Observations on One-Way Alternating Pushdown Automata with Sublinear Space 'jointly worked' IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science E87-A巻 5号 pp.1012~1019 2004年

A Note on Closure Properties of Sublogarithmic Space-Bounded 1-Inkdot Alternating Turing Machines with Only Existential (Universal) States 徳山工業高等専門学校研究紀要,第27号,pp.7-11 徳山工業高等専門学校研究紀要,第27号,pp.7-11 2003年 12月

義永 常宏

Las Vegas, Self-Verifying Nondeterministic and Deterministic One-Way Multi-Counter Automata with Bounded Time 'jointly worked' IEICE Transactions on Fundamen tals of Electronics, Communications and Computer Sciences IEICE Transactions on Fundamen tals of Electronics, Communications and Computer Sciences E86-A, 5, 1207-1212巻 2003年

On 1-Inkdot Alternating Pushdown Automata with Sublogarithmic Space 'jointly worked' IEICE Transactions on Information and Systems IEICE Transactions on Information and Systems E86-D, 9, pp.1814-1824巻 2003年

A Note on Realtime One-Wey Alternating and Deterministic Multi-Counter Automata 'jointly worked' IEICE Transactions on Information and Systems IEICE Transactions on Information and Systems E85-D巻 2号 pp.346~349 2002年

Multi-Inkdot Multi-Counter Automata with Sublinear Space and Constant Leaf-Size 徳山工業高等専門学校研究紀要,第27号,pp.19-24 徳山工業高等専門学校研究紀要,第27号,pp.19-24 2001年 12月

義永 常宏

Sublogarithmic Space-Bounded Multi-Inkdot Two-Way Alternating Turing Machines with Only Universal States. 'jointly worked' IEICE Transactions on Information and Systems IEICE Transactions on Information and Systems E84-D巻 1号 pp.61~64 2001年

Some Observations on 1-Inkdot Alternating Multi-counter Automata with Sublinear Space 'jointly worked' IEICE Transactions on Information and Systems IEICE Transactions on Information and Systems E83-D巻 2号 pp.285~290 2000年

Alternation for Two-Way (Inkdot) Multi-Counter Automata with Sublinear Space 山口大学工学部研究報告,第49巻,第1号,pp.101-111 山口大学工学部研究報告,第49巻,第1号,pp.101-111 1998年 10月

義永 常宏

A note on alternating malti-counter automata with Small space 'jointly worked' Transaction of IPS of Japan Transaction of IPS of Japan 36巻 12号 pp.2741~2753 1995年

Alternating Finite Automata with Counters and Staek-Counters Operating in Realtime 'jointly worked' IEICE Transaetions on Information and Systems IEICE Transaetions on Information and Systems E78-D巻 8号 pp.929~938 1995年

Hierarchical Properties of Realtime One-Way Alternating Multi-Stack-Counter Automata 'jointly worked' IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science E77-A巻 4号 pp.621~629 1994年