An Algorithm for Solving Alive Situation Puzzles in GO Game

Article信州大学工学部紀要 65: 17-24 (1989)departmental bulletin pape

A Theory of Finite Topology and Image Processing

Article信州大学工学部紀要 69: 11-24 (1991)departmental bulletin pape

Implementation and evaluation of a method for realigning annotations in updated web-based materials

We have already developed an annotation writing and sharing system for web-based learning materials. This system allows learners to write annotations such as markers and memorandums directly on materials and to share these annotations among lecturers and learners. If necessary, web-based materials can often be updated by authors; however, the annotations on the material are not in the proper position after the update. In the present study, we propose a method to follow the proper position of annotations in updated materials, and conduct experiments to evaluate the method. The following paper describes the proposed method and the experimental evaluation.ArticleIntelligent Decision Technologies. 4(4):261-267 (2010)journal articl

A Self-Supporting Quadruped Walking-Robot

Article信州大学工学部紀要 63: 19-28 (1988)departmental bulletin pape

プログラミング教育におけるアルゴリズム的思考法のための教育支援ツール利用の実践と評価

プログラミング教育においてアルゴリズム的思考法のための教育支援ツールの導入を試みた。本研究の目的は教育支援ツールの利用により，これまで課題であったアルゴリズムを考え記述する力，および，C言語の学習においてつまずきやすい配列の学習を効率的かつ効果的に行う方法を探求することである。本ツールでは，グラフィカルにアルゴリズムを組み立てることができ，また実行のトレース機能により学習者自身の検証も可能である。2010年度の「プログラミング言語I」の配列の授業においてツールを導入し，その効果について考察した。アルゴリズムを記述する実験では導入前の年度の受講生との差異は現れなかったが，配列に関する理解度については定期試験の結果の比較よりツール利用の効果があったことが言える

アルゴリズム的思考法に関する学習を取り入れたC言語によるプログラミング教育の実践と評価 : 2010年度から2013年度の4年間の実践より [研究ノート]

C言語によるプログラミング教育において，アルゴリズムを考える力を養い，プログラム作成に必要な十分なスキルを身につけさせることを目的とし，アルゴリズム的思考法に関する学習を取り入れた。本研究では，思考したアルゴリズムの外化にあたり，表現変換の負荷を減らすため，グラフィカルなインタフェースによりアルゴリズムを組み立てるビジュアル・ブロック・プログラミング可能なアルゴリズム学習向けWebツールを利用した。本論文では，ツールを利用した授業の概要及び2010年度から2013年度の4年間の実践について報告する。また，学習導入の効果を評価するため，アルゴリズム的思考能力およびプログラミング能力について本学習の導入前の受講生との比較を行った。プログラミング学習の初期段階でのアルゴリズム的思考法の導入がプログラミング学習において効果的であることが明らかとなった

Correctness of adder algorithm using high-radix signed-digit number system and its adaptation to RSA cryptogram (Topics in Information Sciences and Applied Functional Analysis)

ファイル差し替え（2021/08/20

Verification of logic circuits using Mizar and its application to an adder circuit on a radix-2k2^kSD number (Topics in Information Sciences and Applied Functional Analysis)

ファイル差し替え（2021/08/20

Algebraic Group on Fixed-length Bit Integer and its Adaptation to IDEA Cryptography

this article, an algebraic group on fixed-length bit integer is constructed and its adaptation to IDEA cryptography is discussed. In the first section, we present some selected theorems on integers. In the continuous section, we construct an algebraic group on fixed-length integer. In the third section, operations of IDEA Cryptograms are defined and some theorems on these operations are proved. In the fourth section, we define sequences of IDEA Cryptogram's operations and discuss their nature. Finally, we make a model of IDEA Cryptogram and prove that the ciphertext that is encrypted by IDEA encryption algorithm can be decrypted by the IDEA decryption algorithm. MML Identifier: IDEA_