Search Results1-12 of  12

  • 真野 芳久 ID: 9000004342705

    電総研・ソフトウェア部 (1982 from CiNii)

    Articles in CiNii:9

    • 構造的FORTRANプログラミング--入門と実践-1-アルゴリズムとプログラム,プログラムの正しさについて (1981)
    • The VAL Language : Description and Analysis (1982)
    • SPECIAL:A Specification and Assertion Language (1978)
  • 眞野 芳久 ID: 9000004343565

    電総研・ソフトウェア部 (1978 from CiNii)

    Articles in CiNii:1

    • A.V.Aho, J.D.Ullman著, "Principles of Compiler design", Addison-Wesley Pub., CO., B5判変形, 604p, $18.95, 1977 (1978)
  • 真野 芳久 ID: 9000008205615

    Articles in CiNii:4

    • Fortranをベ-スとした構造的言語Westran (1977)
    • オランダ国旗問題とそのアルゴリズムについて(技術談話室) (1979)
    • デ-タの構造を利用した設計法 (実践的ソフトウェア・エンジニアリングへのアプロ-チ) -- (最近のソフトウェア開発技法) (1979)
  • 真野 芳久 ID: 9000009180280

    Articles in CiNii:1

    • 対戦型プログラミング課題と支援ツールについて (1999)
  • 真野 芳久 ID: 9000018351290

    Articles in CiNii:2

    • Programming Language μPL for Multi-Display Microcomputers (1981)
    • プログラミング支援環境に関する研究 (1984)
  • 真野 芳久 ID: 9000018356391

    Articles in CiNii:8

    • 構造的FORTRANプログラミング--入門と実践-3-小さなプログラム例 (1981)
    • 構造的FORTRANプログラミング--入門と実践-4-小さなプログラム例,基本的なデ-タ構造とその操作 (1981)
    • 構造的FORTRANプログラミング--入門と実践-5-基本的なデ-タ構造とその操作 (1981)
  • 真野 芳久 ID: 9000250194615

    Articles in CiNii:1

    • ループ不変図式に基づく文芸的プログラミングのための会話型支援システムに向けて (2001)
  • 真野 芳久 ID: 9000394055114

    Articles in CiNii:1

    • Efficient Problem Solving by Analogical Reasoning Using Knowledge Classification (1996)
  • MANO YOSHIHISA ID: 9000004343370

    Articles in CiNii:9

    • グラフ処理用2次元言語GMLとその機能 (1976)
    • 属性文法に基づく言語指向型エディタ作成システム (1984)
    • An Interactive Graph Manipulation System GMS and Its Applications (1977)
  • MANO Yoshihisa ID: 9000004374424

    Nanzan University, School of Business Administration, Department of Information Systems and Quantitative Sciences (1996 from CiNii)

    Articles in CiNii:3

    • ODA: Standard Interchange Format for a Variety of Documents (1996)
    • Design and Implementation of a Lecture Assisting System (1994)
    • ODA: Standard Interchange Format for a Variety of Documents (1996)
  • MANO Yoshihisa ID: 9000004762762

    Department of Business Administration,Graduate School of Nanzan University (1999 from CiNii)

    Articles in CiNii:2

    • An Execution Model of Genetic Algorithms and a Supporting Environment : multiple individual sets and best individuals (1999)
    • An Execution Model of Genetic Algorithms and a Supporting Environment : multiple individual sets and best individuals (1999)
  • MANO Yoshihisa ID: 9000004891616

    Dep. of Information and Telecommunication Engineering, Faculty of Mathematical Sciences and Information Engineering, Nanzan University (2009 from CiNii)

    Articles in CiNii:12

    • 説明文書としてのループ不変条件を利用した文芸的プログラミング (2002)
    • Dynamic Birthmarks Using Abstract Representation of Execution Sequences (2005)
    • Feature-Abstraction Framework to Construct Dynamic Birthmarks and Some Experiments (2005)
Page Top