論文 - 浅本　紀子

1. The loop and Times Macroinstruction for SCM+FSA

   Formalized Mathematics, , 1998年01月, N. Asamoto, 原著, 研究論文（学術雑誌）, 単著

2. Conditional Branch Mucro Instructions of Instructions of SCM+FSA

   Formalized Mathematics, , 1997年01月, N. Asamoto, 原著, 研究論文（学術雑誌）, 単著

3. Constant assignment macro instructions of SCM+FSA

   Formalized Mathematics, , 1997年01月, N. Asamoto, 原著, 研究論文（学術雑誌）, 単著

4. On the compositions of macro instructions, Part II,III

   Formalized Mathematics, , 1997年01月, N. Asamoto, Y. Nakamura, P. Rudnicki, A. Trybulec, 原著, 研究論文（学術雑誌）, 第一著者相当

5. On the compositions of macro instructions, Part I

   Formalized Mathematics, , 1997年01月, A. Trybulec, Y. Nakamura, N. Asamoto, 原著, 研究論文（学術雑誌）, 共著者

6. Some Multi Instructions Defined by Sequences of Instructions of SCM+FSA

   Formalized Mathematics, , 1996年01月, N. Asamoto, 原著, 研究論文（学術雑誌）, 単著

7. On Regular Graphs and the Associated Real Algebras Generated by the Adjacency matrices

   Nat. Sci. Rep. Ochanomizu Univ., , 1994年01月, N. Asamoto, T.Koyama, K. Uchibe, 原著, 研究論文（大学，研究機関等紀要）, 共著者

8. On some torsion-free class

   Nat. Sci. Rep. Ochanomizu Univ., , 1986年01月, N. Asamoto, T.Koyama, 原著, 研究論文（大学，研究機関等紀要）, 共著者

9. On a torsion-free class with separable types

   Nat. Sci. Rep. Ochanomizu Univ., , 1985年01月, N. Asamoto, T.Koyama, 原著, 研究論文（大学，研究機関等紀要）, 第一著者相当