%\techreport
%{}% Report number
%{}% Title
%{}% Author(s)
%{}% Date
\item[] {\large\bf ===== 1993 =====}

\techreport
{93001}
{A Parallel Descent Algorithm for Convex Programming}
{Masao FUKUSHIMA, Mounir HADDOU, Van Hien NGUYEN, Jean-Jacques
STRODIOT and Takanobu SUGIMOTO}
{December 1993}

\techreport
{93002}
{Some Reformulations and Applications of the Alternating
Direction Method of Multipliers}
{Jonathan ECKSTEIN and Masao FUKUSHIMA}
{December 1993}

\techreport
{93003}
{A Polynomial Approximation Algorithm for the Separable Convex
Cost Flow Problem}
{Masakatsu HIGASHIKUBO, Masao FUKUSHIMA and Toshihide IBARAKI}
{December 1993}

\techreport
{93004}
{A Model of Time-Varying Flows on a Congested Multidestination Network}
{Masayuki TSUJINO, Masao FUKUSHIMA and Toshihide IBARAKI}
{December 1993}

\techreport
{93005}
{Parallel Relaxation Method for Quadratic Programming Problems
with Interval Constraints}
{Takanobu SUGIMOTO, Masao FUKUSHIMA and Toshihide IBARAKI}
{December 1993}

\techreport
{93006}
{Optimization Based Globally Convergent Methods for the Nonlinear
Complementarity Problem}
{Kouichi TAJI and Masao FUKUSHIMA}
{December 1993}

\techreport
{93007}
{On Stationary Points of the Mangasarian and Solodov's Function
for Nonlinear Complementarity Problems}
{Nobuo YAMASHITA and Masao FUKUSHIMA}
{December 1993}

\techreport
{93008}
{Splitting Algorithms for a Class of Monotone Mappings with
Application to the Traffic Equilibrium Problem}
{Masao FUKUSHIMA}
{December 1993}

\techreport
{93009}
{Primal-Dual Proximal Point Algorithm for Multicommodity Network
Flow Problems}
{Satoru IBARAKI and Masao FUKUSHIMA}
{December 1993}

\techreport
{93010}
{Implicit Lagrangian for Generalized Complementarity Problems}
{Nobuo YAMASHITA and Masao FUKUSHIMA}
{December 1993}

\techreport
{93011}
{The Universal Recognition Problem for Lexical-Functional Grammars}
{Sachiko Ando, Ryuichi Nakanishi, Hiroyuki Seki and Tadao Kasami}
{December 1993}

\techreport
{93012}
{Finite State Translation Systems and Parallel
Multiple Context-Free Grammars}
{Yuichi Kaji, Hiroyuki Seki, and Tadao Kasami}
{December 1993}

\item[] {\large\bf ===== 1994 =====}

\techreport
{94001}
{Surface Reconstruction from Stereo Images Preserving Discontinuities}
{Naokazu Yokoya}
{January 1994}

\techreport
{94002}
{On Branch Labels of Parallel Components of the $L$-section
Minimal Trellis Diagrams for Binary Linear Block Codes}
{Tadao KASAMI, Toru FUJIWARA, Yoshihisa DESAKI, and Shu LIN}
{January 1994}

\techreport
{94003}
{�μ��ζ�ͭ�Τ���Υ��եȥ��������� }
{����˭�� }
{January 1994} %%%{ 1994ǯ1��}

\techreport
{94004}
{The B-mode Ultrasound Image Restoration To Degraded Images}
{Anping Yu, Osamu Oshiro and Kunihiro Chihara}
{February 1994}

\techreport
{94005}
{Equivalence of Complementarity Problems to
Differentiable Minimization: A Unified Approach}
{Paul Tseng, Nobuo Yamashita and Masao Fukushima}
{February 1994}

\techreport
{94006}
{Towards Multi-aspect Design Support Systems}
{Hideaki Takeda}
{February 1994}

\techreport
{94007}
{Generative Capacity and Recognition of
Lexical-Functional Grammars}
{Hiroyuki Seki, Ryuichi Nakanishi, Sachiko Ando and Tadao Kasami}
{March 1994}

\techreport
{94008}
{Robust Algorithm for Motion Analysis Based on Active Tubes}
{Ryo FURUKAWA, Masakazu IMAI and Takeshi UNO}
{March 1994}

\techreport
{94009}
{A Primal-Dual Proximal Point Algorithm for
Variational Inequality Problems}
{Kouichiro IWAOKA, Masao FUKUSHIMA and
Toshihide IBARAKI}
{April 1994}

\techreport
{94010}
{A Multisplitting Method for Symmetric Linear
Complementarity Problems}
{Naoki MACHIDA, Masao FUKUSHIMA and
Toshihide IBARAKI}
{April 1994}

\techreport
{94011}
{Solving a Unification Problem 
under Constrained Substitutions Using Tree Automata}
{Yuichi KAJI, Toru FUJIWARA and
Tadao KASAMI}
{May 1994}

\techreport
{94012}
{Partial Proximal Method of Multipliers for Convex Programming Problems}
{Satoru IBARAKI and Masao FUKUSHIMA}
{June 1994}

\techreport
{94013}
{A New Merit Function and A Successive Quadratic Programming Algorithm for Variational Inequality Problems}
{Kouichi TAJI and Masao FUKUSHIMA}
{June 1994}

\techreport
{94014}
{Acquisition of Translation Rules from Parallel Corpus}
{Yuji Matsumoto and Mihoko Kitamura}
{June 1994}

\techreport
{94015}
{Bilingual Text Matching using Bilingual Dictionary and Statistics}
{Takehito Utsuro and Yuji Matsumoto}
{June 1994}

\techreport
{94016}
{Image Processing for Quality/Process Control of Polymer Process}
{Fumihiro Koizumi, Eiichi Kunugita and Hirokazu Nishitani}
{July 1994}

\techreport
{94017}
{Operation Support System Using Dynamic Simulation for a Combined Batch/Continuous Plant}
{Hiroyuki Deguchi, Yoshihiko Yamasaki and Hirokazu Nishitani}
{July 1994}

\techreport
{94018}
{Computer Aids for Plant Operation}
{Hirokazu Nishitani}
{July 1994}

\techreport
{94019}
{Human-Computer Interaction in the New Process Technology}
{Hirokazu Nishitani}
{July 1994}

\techreport
{94020}
{Sequential Control Issues in the Plant-Wide Control System}
{Daisuke Hiranaka and Hirokazu Nishitani}
{July 1994}

\techreport
{94021}
{Extraction of Operation Signatures by Episodic Representation}
{Takeshi Fujiwara, Miho Koyama and Hirokazu Nishitani}
{July 1994}

\techreport
{94022}
{Development of Real-Time Failure Detection System for Batch Reactor}
{Takeshi Fujiwara and Hirokazu Nishitani}
{July 1994}

\techreport
{94023}
{Abstraction of Operating Data on the Episode Map}
{Takeshi Fujiwara and Hirokazu Nishitani}
{July 1994}

\techreport
{94024}
{NAIST Natural Language Tools}
{Yuji Matsumoto, Yasuharu Den, Takehito Utsuro and Kiyoshi Yanagi}
{July 1994}

\techreport
{94025}
{���ܸ�����ǲ��ϥ����ƥ�JUMAN ����������\ \ version 2.0 }
{����͵��, ��������, ����Ϥ���, ̯�� ͵, Ĺ�� �� }
{July 1994}

\techreport
{94026}
{Implementation of Natural Language Specifications of Communication
  Protocols by Executable Specifications}
{Yasunori ISHIHARA, Hiroyuki SEKI and Tadao KASAMI}
{July 1994}

\techreport
{94027}
{Dense Matching of Two Views with Large Displacement}
{Naokazu Yokoya}
{August 1994}

\techreport
{94028}
{Algorithms for Finding the Causal Distributed Breakpoint}
{T. Masuzawa and N. Tokura}
{September 1994}

\techreport
{94029}
{A Globally Convergent Newton Method for Solving Variational Inequality Problems with Inequality Constraints}
{Kouichi TAJI and Masao FUKUSHIMA}
{September 1994}

\techreport
{94030}
{On a Complex Object Model over Specialization Constraints Supporting Selective Inheritance}
{Nobutaka Suzuki and Minoru Ito}
{October 1994}

\techreport
{94031}
{Application Level QoS Modeling for A Distributed Multimedia System}
{Kazutoshi FUJIKAWA, Shinji SHIMOJO, Hisashi SHIMAMURA, Yuuichi TERANISHI, Toshio MATSUURA and Hideo MIYAHARA}
{October 1994}

\techreport
{94032}
{A Scheduling Problem in Test Generation}
{Tomoo Inoue, Hironori Maeda and Hideo Fujiwara}
{October 1994}

\techreport
{94033}
{A Block-Parallel Conjugate Gradient Method for Separable Quadratic Programming Problems}
{Eiki YAMAKAWA and Masao FUKUSHIMA}
{November 1994}

\techreport
{94034}
{Equivalent Unconstrained Minimization and Global Error Bounds for Variational Inequality Problems}
{Nobuo YAMASHITA and Masao FUKUSHIMA}
{November 1994}

\techreport
{94035}
{A Globally and Superlinearly Convergent Algorithm for Nonsmooth Convex Minimization}
{Masao FUKUSHIMA and Liqun QI}
{December 1994}

\item[] {\large\bf ===== 1995 =====}

\techreport
{95001}
{Equivalence of the Generalized Complementarity Problem to Differentiable Unconstrained Minimization}
{Christian KANZOW and Masao FUKUSHIMA}
{January 1995}

\techreport
{95002}
{Optimizing Nearest Neighbor Retrieval by Similarity Template and Retrieval Query Generation}
{Takehito Utsuro}
{January 1995}

\techreport
{95003}
{���֥������Ȼظ��ǡ�����ǥ�ˤ����륪�֥������Ȥ�¿��ɽ�� }
{�д���Ƿ����¼��μ }
{January 1995}

\techreport
{95004}
{Trajectory Control of a Mobile Robot by Gazing One Point}
{Kenichi Tokuda, Yasuhiro Ueda, Masakazu Imai and Takeshi Uno}
{January 1995}

\techreport
{95005}
{Genetic Algorithm Enlarges Capacity of Associative Memory}
{Akira Imada and Keijiro Araki}
{February 1995}

\techreport
{95006}
{Genetic Algorithm as a Learning Method in Associative Memory}
{Akira Imada and Keijiro Araki}
{February 1995}

\techreport
{95007}
{Amalgamating SGML Documents and Databases}
{Masatoshi Yoshikawa, Osamu Ichikawa and Shunsuke Uemura}
{February 1995}

\techreport
{95008}
{Perspective View of Spatial Relations in 3D Space}
{Atsushi YAMADA}
{March 1995}

\techreport
{95009}
{Three-Dimensional Dynamic Imaging by a Spherical Pulsed Wave of Ultrasound}
{Hirofumi TOJO, Naotoshi FUJIMOTO, Osamu OSHIRO, Ayumu MATANI, Kosuke SATO, Kunihiro CHIHARA, Masato ASAO and Toshiyuki FURUKAWA}
{March 1995}

\techreport
{95010}
{Three-Dimensional Motion Display of Human Heart from Medical Ultrasonic Images}
{Masaaki KUROZUMI, Osamu OSHIRO, Ayumu MATANI, Kosuke SATO, Kunihiro CHIHARA, Taisei MIKAMI and Akira KITABATAKE}
{March 1995}

\techreport
{95011}
{Visualization and Analysis of Myocardial Transition by Cardiac Ultrasound Images}
{Naohiro AMAMOTO, Osamu OSHIRO, Ayumu MATANI, Kosuke SATO and Kunihiro CHIHARA}
{March 1995}

\techreport
{95012}
{Intravascular Ultrasonic Imaging with a Micromotor}
{Seiji MATSUMOTO, Osamu OSHIRO, Ayumu MATANI, Kosuke SATO, Kunihiro CHIHARA, Atsuo IIDA, Kenji KAWABE, Takaki SHIMURA, Masato ASAO and Toshiyuki FURUKAWA}
{March 1995}

\techreport
{95013}
{Visualization of a blood flow with Two-Dimensional Moving Target Indication}
{Tsuyoshi KIMURA, Osamu OSHIRO, Ayumu MATANI, Kosuke SATO and Kunihiro CHIHARA}
{March 1995}

\techreport
{95014}
{An Optimal Parallel Algorithm for the Euclidean Distance Maps}
{Akihiro Fujiwara, Toshimitu Masuzawa and Hideo Fujiwara}
{March 1995}

\techreport
{95015}
{Assignment of Data Types to Words in a Natural Language Specification}
{Yasunori ISHIHARA, Atsushi OHSAKI, Hiroyuki SEKI, and Tadao KASAMI}
{March 1995}

\techreport
{95016}
{A Successive Projection Method for Multilayer Neural Networks}
{Keiji TATSUMI and Masao FUKUSHIMA}
{March 1995}

\techreport
{95017}
{Design of a Digital University Library: Mandala Library}
{Masakazu IMAI, Hisakazu HADA, Suguru YAMAGUCHI,
Kosuke SATO, Haruo TAKEMURA, Naokazu YOKOYA, Kunihiro CHIHARA and Tadao KASAMI}
{April 1995}

\techreport
{95018}
{Design and Performance Analysis of Indexing Schemes for Set Retrieval of Nested Objects}
{Yoshiharu Ishikawa and Hiroyuki Kitagawa}
{May 1995}

\techreport
{95019}
{The weight distributions of cosets of the second-order
 Reed-Muller code of length 128 in the third-order Reed-Muller code of length 128}
{Tadao Kasami, Toru Fujiwara and Yoshihisa Desaki}
{May 1995}

\techreport
{95020}
{On the Minimum-Weight Trellis Diagrams of Reed-Muller Codes}
{T.Kasami and S.Lin}
{May 1995}

\techreport
{95021}
{Modified Newton Methods for Solving Semismooth Reformulations of Monotone Complementarity Problems}
{Nobuo YAMASHITA and Masao FUKUSHIMA}
{May 1995}

\techreport
{95022}
{Merit Functions for Variational Inequality and Complementarity Problems}
{Masao FUKUSHIMA}
{June 1995}

\techreport
{95023}
{��ʬ�������ˤ��Ʊ������ǽ��ͭ�¾��ֵ����ι����ˤĤ��� }
{�ͱ� ��, ��� ����, ��߷ ����, ƣ�� ��ͺ }
{July 1995}

\techreport
{95024}
{Unconstrained Optimization Reformulations of Variational Inequality Problems}
{Nobuo YAMASHITA, Kouichi TAJI and Masao FUKUSHIMA}
{August 1995}

\techreport
{95025}
{Proximal Quasi-Newton Methods for Nondifferentiable Convex Optimization}
{Xiaojun CHEN and Masao FUKUSHIMA}
{September 1995}

\techreport
{95026}
{Minimizing and Stationary Sequences of Merit Functions for Complementarity Problems and Variational Inequalities}
{Masao FUKUSHIMA and Jong-Shi PANG}
{September 1995}

\techreport
{95027}
{An Immune Network Approach for Sensor-Based
	Diagnosis  with Sensor Faults: An Experimental Simulation for Cement Plant}
{Yoshiteru Ishida and Francois Mizessyn}
{October 1995}

\techreport
{95028}
{An Immune Network Approach to 
 Sensor-Network  with Self-Organization for Sensor and Process Faults}
{Yoshiteru Ishida}
{October 1995}

\techreport
{95029}
{An  Immune Network Approach for Sensor-Based Diagnosis 
 with Measurement Noise and Gross Errors}
{Yoshiteru Ishida and Yasunori Tokimasa}
{October 1995}

\techreport
{95030}
{An Immunological Algorithm and Its Application 
  to Disturbance Rejection}
{Yoshiteru Ishida and Norihiko Adachi}
{October 1995}

\techreport
{95031}
{Note on Immune Network and Majority Network}
{Yoshiteru Ishida}
{October 1995}

\techreport
{95032}
{Structural Analysis on Interval Matrices by Signed Digraph:
	Determinant Maximization and Singularity}
{Yoshiteru Ishida}
{October 1995}

\techreport
{95033}
{Structural Analysis on Interval Matrices by Signed Digraph: 
	Structural Perturbation Principle}
{Yoshiteru Ishida}
{October 1995}

\techreport
{95034}
{Machine Formulation and Understanding of the Equations of Physical Laws
	by Symmetry}
{Yoshiteru Ishida}
{October 1995}

\techreport
{95035}
{A Computable Generalized Hessian of the D-Gap Function and Newton-Type Methods for Variational Inequality Problems}
{Defeng SUN, Masao FUKUSHIMA and Liqun QI}
{October 1995}

\techreport
{95036}
{Simple Genetic Algorithm as a Learning Method for Associative Memory}
{Akira Imada and Keijiro Araki}
{November 1995}

\techreport
{95037}
{A Trust Region Method for Solving Generalized Complementarity Problems}
{Houyuan JIANG, Masao FUKUSHIMA, Liqun QI, Defeng SUN}
{November 1995}

\techreport
{95038}
{Evolution of Associative Memory with Environmental Change}
{Akira Imada and Keijiro Araki}
{November 1995}

\techreport
{95039}
{Lamarckian Evolution of Associative Memory}
{Akira Imada and Keijiro Araki}
{December 1995}

\item[] {\large\bf ===== 1996 =====}

\techreport
{96001}
{GINGER: a quantitative analysis environment for improving programmer performance}
{Torii K., Matsumoto K., and Kusumoto S.}
{January 1996}

\techreport
{96002}
{A New NCP-Function and Its Properties}
{Nobuo YAMASHITA and Masao FUKUSHIMA}
{January 1996}

\techreport
{96003}
{Baldwin Effect on the Evolution of Associative Memory}
{Akira Imada and Keijiro Araki}
{January 1996}

\techreport
{96004}
{Basin of Attraction of Hebb-rule Associative Memory as it Evolves}
{Akira Imada and Keijiro Araki}
{February 1996}

\techreport
{96005}
{�����ǲ��ϻ�в������ƥ� {\bf Vi\,JUMAN} version 1.0 ���������� }
{����ãͺ������͵�� }
{February 1996}

\techreport
{96006}
{Weight Distributions of the Third and Fifth Order Reed-Muller Codes of Length 512}
{Tsukasa Sugita, Tadao Kasami, Toru Fujiwara}
{February 1996}

\techreport
{96007}
{Basin of Attraction of Associative Memory as it is Evolved by a Genetic Algorithm}
{Akira Imada and Keijiro Araki}
{February 1996}

\techreport
{96008}
{Basin of Attraction of Associative Memory as it is Evolved from Random Weights}
{Akira Imada and Keijiro Araki}
{February 1996}

\techreport
{96009}
{Basin of Attraction of Hebb-rule Associative Memory as it Evolves}
{Akira Imada and Keijiro Araki}
{February 1996}

\techreport
{96010}
{New NCP-Functions and Their Properties}
{Christian KANZOW, Nobuo YAMASHITA and Masao FUKUSHIMA}
{March 1996}

\techreport
{96011}
{Theoretical and Numerical Investigation of 
the D-Gap Function for Box Constrained Variational Inequalities}
{Christian KANZOW and Masao FUKUSHIMA}
{March 1996}

\techreport
{96012}
{Syntactic Unification Problem under Constrained Substitutions}
{Kazuhiro Takada, Yuichi Kaji and Tadao Kasami}
{April 1996}

\techreport
{96013}
{�����޻����Ǥʤ���ξ������ }
{��¼��μ }
{June 1996}

\techreport
{96014}
{One Resettable State Variable Is Almost Sufficient for Synthesizing Synchronizable FSMs}
{Toshimitsu Masuzawa, Tomoo Inoue, Hiroshi Youra, and Hideo Fujiwara}
{July 1996}

\techreport
{96015}
{A Method for Computing Split Weight Distributions of Reed-Muller Codes}
{Tsukasa Sugita, Tadao Kasami, Toru Fujiwara}
{July 1996}

\techreport
{96016}
{�ȹ礻�ƥ���������ǽ�ʳ�ĥ��ʬ��������߷� }
{��� ���顢��� ������ƣ�� ��ͺ }
{September 1996}

\techreport
{96017}
{��ϩ�����Ѵ��ˤ������ϩ�ƥ��������ΰ��ˡ }
{����ů��, �������, ƣ����ͺ }
{September 1996}

\techreport
{96018}
{Searching Real-Valued Synaptic Weights of Hopfield's Associative Memory using Evolutionary Programming}
{Akira Imada and Keijiro Araki}
{September 1996}

\techreport
{96019}
{Detecting the Organization of Semantic Subclasses of Japanese Verbs}
{Akira Oishi and Yuji Matsumoto}
{October 1996}

\techreport
{96020}
{Application of an Evolution Strategy to the Hopfield Model of Associative Memory}
{Akira Imada and Keijiro Araki}
{November 1996}

\techreport
{96021}
{Evolved Asymmetry and Dilution of Random Synaptic Weights in Hopfield Network Turn a Spin-glass Phase into Associative Memory}
{Akira Imada and Keijiro Araki}
{November 1996}

\techreport
{96022}
{Hopfield Model of Associative Memory as a Test Function of Evolutionary Computations}
{Akira Imada and Keijiro Araki}
{November 1996}

\techreport
{96023}
{�����֤�����ʸ��¤�ȹ�GUI ``V-Para'' �κ��� }
{���͹���, ����Ϥ���, ��¼�����, ����͵�� }
{December 1996}

\item[] {\large\bf ===== 1997 =====}

\techreport
{97001}
{Random Perturbations to Hebbian Synapses of Associative Memory using a Genetic Algorithm}
{Akira Imada and Keijiro Araki}
{January 1997}

\techreport
{97002}
{An analysis of the Hopfield Model of Associative Memory by means of a Genetic Algorithm}
{Akira Imada and Keijiro Araki}
{January 1997}

\techreport
{97003}
{A Recursive Maximum Likelihood Decoding Algorithm for 
 Reed-Muller Codes and Related Codes}
{Tadao KASAMI, Hitoshi TOKUSHIGE, Toru FUJIWARA, Hiroshi YAMAMOTO and Shu LIN}
{January 1997}

\techreport
{97004}
{Evolution of Hopfield Model of Associative Memory by the Breeder Genetic Algorithm}
{Akira Imada and Keijiro Araki}
{January 1997}

\techreport
{97005}
{Ontology-Centric Knowledge Organization}
{Hideaki Takeda, Michiaki Iwazume, and Toyoaki Nishida}
{January 1997}

\techreport
{97006}
{Learning Probabilistic Subcategorization Preference and its Application to Syntactic Disambiguation}
{Takehito Utsuro and Yuji Matsumoto}
{February 1997}

\techreport
{97007}
{���ܸ�����ǲ��ϥ����ƥ����䥡�version 1.0 ���������� }  
{����͵��, ���ⷼ, ����ãͺ, ���콤, ��¼ͧ�� }
{February 1997}

\techreport
{97008}
{Evolution of Associative Memory using Diploid Chromosomes}
{Akira Imada and Keijiro Araki}
{February 1997}

\techreport
{97009}
{Clustering Words by Syntactical Behavior}
{Wide. R. Hogenhout and Yuji Matsumoto}
{March 1997}

\techreport
{97010}
{Scalable Networked Virtual Reality System with Live Video}
{Seiwoong OH, Daisuke KADO, Tomohiro TAIRA, Kazutoshi FUJIKAWA, Shinji SHIMOJO, Masatoshi ARIKAWA, Hideo MIYAHARA}
{June 1997}

\techreport
{97011}
{User Authentication with the Help of Simple Memory Devices}
{Keiji Amo, Yuichi Kaji and Tadao Kasami}
{June 1997}

\techreport
{97012}
{One sufficient termination condition for some iterative soft-decision algorithms decoding binary linear block codes}
{Tang Yuansheng, Tadao Kasami}
{June 1997}

\techreport
{97013}
{���֥������Ȼظ��ǡ����١����ˤ����뷿��������η׻��� }
{���� ���, �и� ��ů, �� ��Ƿ, ��ƣ �� }
{June 1997}

\techreport
{97014}
{Sequential Test Generation Based on Circuit Pseudo-Transformation}
{Satoshi Ohtake, Tomoo Inoue and Hideo Fujiwara}
{July 1997}

\techreport
{97015}
{Telepresence by Real-time View-dependent Image Generation from Omnidirectional Video Streams}
{Yoshio Onoe, Kazumasa Yamazawa, Haruo Takemura and Naokazu Yokoya}
{August 1997}

\techreport
{97016}
{Evolution of Random Synaptic Weights of the Hopfield Associative Memory: How Chaotic Trajectories Turn into Fixed Point Attractors?}
{Akira Imada and Keijiro Araki}
{August 1997}

\techreport
{97017}
{Fitness Landscape of the Hopfield Model of Associative Memory}
{Akira Imada and Keijiro Araki}
{September 1997}

\techreport
{97018}
{How does the Landscape of a Hopfield Associative Memory Look Like?}
{Akira Imada and Keijiro Araki}
{October 1997}

\techreport
{97019}
{Bayesian Network Models of Subcategorization and Their MDL-Based Learning from Corpus}
{Takashi Miyata and Takehito Utsuro and Yuji Matsumoto}
{October 1997}

\techreport
{97020}
{On the Complexity of Universal Fault Diagnosis for Look-up Table FPGAs}
{Tomoo Inoue, Satoshi Miyazaki, and Hideo Fujiwara}
{October 1997}

\techreport
{97021}
{Explorations of Fitness Landscapes of a Hopfield Associative Memory with Random and Evolutionary Walks}
{Akira Imada and Keijiro Araki}
{October 1997}

\techreport
{97022}
{Partial Scan Design Methods Based on Internally Balanced Structure}
{Tomoya TAKASAKI, Tomoo INOUE, and Hideo FUJIWARA}
{November 1997}

\item[] {\large\bf ===== 1998 =====}

\techreport
{98001}
{Some Theoretical Considerations on Integration of Ontologies}
{Hideaki Takeda and Toyoaki Nishida}
{March 1998}

\techreport
{98002}
{��󥻡��륹�ޥ�������Ф���$\lambda$-opt�γ�ΨŪ¿�༰�� }
{�������������Ϲ��졤�ⶶ˭ }
{April 1998}

\techreport
{98003}
{Simulation Study on Multi-hop Jitter Behavior in Integrated ATM Network with CATV and Internet}
{Naotoshi Adachi, Shoji Kasahara and Yutaka Takahashi}
{April 1998}

\techreport
{98004}
{The Type-Consistency Problem for Queries in Object-Oriented Databases}
{Yasunori Ishihara, Shougo Shimizu, Hiroyuki Seki and Minoru Ito}
{April 1998}

\techreport
{98005}
{Practical Time-scale Fitting of Self-similar Traffic with Markov-modulated Poisson Process}
{Tadafumi Yoshihara, Shoji Kasahara and Yutaka Takahashi}
{April 1998}

\techreport
{98006}
{Self-organizing Network Learning of Sub-millisecond Temporal Coded Information}
{Kenichi Amemori and Shin Ishii}
{April 1998}

\techreport
{98007}
{A Formal Approach to Detecting Security Flaws in Object-Oriented Database Schemas}
{Toshiyuki Morita, Yasunori Ishihara, and Minoru Ito}
{June 1998}

\techreport
{98008}
{Computation Complexity for Computing Sufficient Conditions on the Optimality of a Decoded Codeword}
{Tadao Kasami and Takuya Koumoto}
{July 1998}

\techreport
{98009}
{A Non-scan DFT Method for RTL Data Paths to Achieve Complete Fault Efficiency}
{Toshimitsu MASUZAWA and Hiroki WADA and Kewal K. SALUJA and Hideo FUJIWARA}
{July 1998}

\techreport
{98010}
{Evaluating the Application of Software Metrics
	to Data Flow Diagrams and Class Diagrams in Usability Laboratory
	Experiments (CADPRO Pilot \#1)}
{Andy Brooks, Louise Scott, Shingo Takada}
{October 1998}

\techreport
{98011}
{A Procedure for Solving an Order-Sorted Unification Problem ---
	extension for left nonlinear system}
{Toshinori Takai, Yuichi Kaji, Takehiko Tanaka and Hiroyuki Seki}
{October 1998}

\techreport
{98012}
{An Optimality Testing Algorithm for a Decoded Codeword of Binary Block Codes}
{Tang Yuansheng, Tadao Kasami and Toru Fujiwara}
{October 1998}

\techreport
{98013}
{New DFT Techniques of Non-Scan Sequential Circuits with Complete Fault Efficiency}
{Debesh Kumar Das, Satoshi Ohtake and Hideo Fujiwara}
{November 1998}

\item[] {\large\bf ===== 1999 =====}

\techreport
{99001}
{�ե饯����Ū�ȥ�ե��å��ν��������Ԥ�����Ĺʬ�ۤζ��Ū����ˡ }
{�޸����� } 
{January 1999}

\techreport
{99002}
{Anonymous Bidding Protocols Using an Anonymous Undeniable Signature}
{Toru Nakanishi, Toru Fujiwara and Hajime Watanabe}
{January 1999}

\techreport
{99003}
{Evaluating data flow diagrams and class diagrams
	in usability laboratory experiments (CADPRO Pilot \#2)}
{Shingo Takada, Louise Scott, Andy Brooks}
{February 1999}

\techreport
{99004}
{��ͭ����ޥ���ץ����å������ƥ�ˤ�����Ʊ�����ֺ�Ŭ��̵�Ե����׹�
�碌�ץ��ȥ��� }
{�鲰 �롤������һҡ���߷ ������ƣ�� ��ͺ }
{March 1999}

\techreport
{99005}
{Jitter Behavior of MPEG2 Stream in Self-similar Traffic 
	of ATM Network Integrating CATV and Internet}
{Naotoshi Adachi, Shoji Kasahara and Yutaka Takahashi}
{April 1999}

\techreport
{99006}
{Universal Test Complexity of Field-Programmable Gate Arrays}
{Tomoo Inoue, Hideo Fujiwara, Hiroyuki Michinishi, Tokumi Yokohira, and Takuji Okamoto}
{April 1999}

\techreport
{99007}
{Test Generation for Acyclic Sequential Circuits with Hold Registers}
{Tomoo Inoue, Chiiho Sano, Takahiro Mihara, and Hideo Fujiwara}
{April 1999}

\techreport
{99008}
{���ܸ�����ǲ��ϥ����ƥ����䥡�version 2.0 ���������� }
{����͵��, ���ⷼ, ����ãͺ, ʿ����δ }
{April 1999}

\techreport
{99009}
{Japanese Morphological Analysis System ChaSen version 2.0 Manual}
{Yuji Matsumoto, Akira Kitauchi, Tatsuo Yamashita and Yoshitaka Hirano}
{April 1999}

\techreport
{99010}
{A sufficient condition for the termination of the procedure for solving an order-sorted unification problem}
{Toshinori Takai, Yuichi Kaji, and Hiroyuki Seki}
{August 1999}

\techreport
{99011}
{Measurement Analysis of Cell Stream in ATM Network Integrating CATV and Internet}
{Kohhei Yamada, Naotoshi Adachi, Shoji Kasahara, and Yutaka Takahashi}
{September 1999}

\techreport
{99012}
{���ܸ�����ǲ��ϥ����ƥ����䥡�version 2.0 ���������� ������ }
{����͵��, ���ⷼ, ����ãͺ, ʿ����δ, ���Ĵ�, �������� }
{December 1999}

\item[] {\large\bf ===== 2000 =====}

\techreport
{2000001}
{A New Data Structure for Complete Implication Graph with Application for Static Learning}
{Emil Gizdarski and Hideo Fujiwara}
{January 2000}

\techreport
{2000002}
{Computational Complexity of Finding Highly Co-occurrent Itemsets in Market Basket Databases}
{Yeon-Dae Kwon, Yasunori Ishihara, Shougo Shimizu and Minoru Ito}
{February 2000}

\techreport
{2000003}
{A reinforcement learning for continuous systems}
{Junichiro Yoshimoto, Shin Ishii, Masa-aki Sato}
{February 2000}

\techreport
{2000004}
{Theorems for Separable Primary Input Faults in Internally Balanced Structures}
{Michiko Inoue, Emil Gizdarski, Hideo Fujiwara}
{March 2000}

\techreport
{2000005}
{SPIRIT: Satisfiability Problem Implementation for Redundancy
Identification and Test Generation}
{Emil Gizdarski and Hideo Fujiwara}
{April 2000}

\techreport
{2000006}
{Blocking Behavior of Queueing System with Finite Buffer and Pseudo Self-similar Input}
{Shoji Kasahara}
{August 2000}

\techreport
{2000007}
{SPIRIT: A High Robust Combinational Test Generation Algorithm}
{Emil Gizdarski and Hideo Fujiwara}
{October 2000}

\techreport
{2000008}
{Application-Level Jitter Reduction Scheme for
Multimedia Communication over ATM-ABR Service}
{Naotoshi Adachi, Shoji Kasahara and Yutaka Takahashi}
{October 2000}

\techreport
{2000009}
{A Non-scan DFT Method at RTL Based on Fixed-control Testability to Achieve 100\% Fault Efficiency}
{Satoshi Ohtake, Shintaro Nagai, Hiroki Wada and Hideo Fujiwara}
{November 2000}

\techreport
{2000010}
{������̻ҥ֥����󥰥ץ������η׻�ǽ�� }
{�����������͸����������ҿ� }
{November 2000}

\techreport
{2000011}
{A-tree: An Index Structure for High-Dimensional Spaces Using Relative Approximation}
{Yasushi Sakurai, Masatoshi Yoshikawa, Shunsuke Uemura and Haruhiko Kojima}
{December 2000}

\techreport
{2000012}
{An XML Indexing Structure with Relative Region Coordinate}
{Dao Dinh Kha, Masatoshi Yoshikawa and Shunsuke Uemura}
{December 2000}

\techreport
{2000013}
{Flexible Category Structure for Supporting Document Retrieval and Its Evaluation}
{Kokoro Nakagawa, Yoshiaki Takata, and Hiroyuki Seki}
{December 2000}

\techreport
{2000014}
{��������̻�ͭ�¥����ȥޥȥ� }
{��������, ��ƣδ��, �͸�����, ���ҿ�}
{December 2000}

\item[] {\large\bf ===== 2001 =====}

\techreport
{2001001}
{���եȥ����������μ��ζ�ͭ�ˤ����뵡ǽ�¹�������� }
{���� ���ʡ����� �ǿ͡����� ��졤��� ��Ϻ��Ļ�� ���� }
{March 2001}

\techreport
{2001002}
{CLAS: An Approach for Full Use of Application Software}
{Ken-ichi Matsumoto, Shuuji Morisaki, Akito Monden, Koji Torii}
{March 2001}

\techreport
{2001003}
{Decidability and Complexity of the Security Verification Problem for Programs with Stack Inspection}
{Naoya Nitta, Satoshi Ikada, Yoshiaki Takata and Hiroyuki Seki}
{March 2001}

\techreport
{2001004}
{Fault Set Partition for Efficient Width Compression}
{Emil Gizdarski and Hideo Fujiwara}
{March 2001}

\techreport
{2001005}
{On the Power of Quantum Pushdown Automata with a Classical Stack and 1.5-way Quantum Finite Automata}
{Masaki Nakanishi, Takao Indoh, Kiyoharu Hamaguchi, and Toshinobu Kashiwabara}
{March 2001}

\techreport
{2001006}
{A DFT Method for Core-Based Systems-on-a-Chip based on Consecutive Testability}
{Tomokazu Yoneda, and Hideo Fujiwara}
{May 2001}

\techreport
{2001007}
{Software Quality Analysis by Code Clones in Industrial Legacy Software}
{Akito Monden, Daikai Nakae, Toshihiro Kamiya, Shin-ichi Sato, Ken-ichi Matsumoto}
{September 2001}


\item[] {\large\bf ===== 2002 =====}

\techreport
{2002001}
{��Ϣ³�Ƽ��̽����ϩ�Υѥ��ٱ�ξ���Ф���ƥ�������ˡ }
{��� �䡤���� ů�ˡ�ƣ�� ��ͺ }
{February 2002}

\techreport
{2002002}
{��������ĸ������˴�Ť�RTL��ϩ���󥹥����ƥ����ưײ��߷�ˡ }
{�ʰ濵��Ϻ�����Ĺ���������ů�ˡ�ƣ����ͺ }
{January 2002}

\techreport
{2002003}
{Preemptive Power Constrained TAM Scheduling for Scan-based System-on-Chip}
{Erik Larsson and Hideo Fujiwara}
{January 2002}

\techreport
{2002004}
{�ۡ���ɥ쥸������ޤ�����ʿ�չ�¤ }
{���� ��������� ���һҡ�ƣ�� ��ͺ }
{February 2002}

\techreport
{2002005}
{An ILP Formulation for Consecutive Testability of System-on-a-Chip}
{Tomokazu Yoneda and Hideo Fujiwara}
{February 2002}

\techreport
{2002006}
{��Ʊ����ͭ���ꥷ���ƥ�ˤ�����ݥ���ȶ�����Ŭ���������֤���̾����
���ꥺ�� }
{��ë���顤������һҡ���߷������ƣ����ͺ }
{March 2002}

\techreport
{2002007}
{����ξ�Υƥ����������르�ꥺ����Ѥ����ѥ��ٱ�ξ���Ф���ƥ�����
��ˡ }
{��ë��ʿ������ů�ˡ�ƣ����ͺ }
{March 2002}

\techreport
{2002008}
{�쥸����ž����٥�ǤΥǡ����ե�����¸����ϩ�γ��إƥ����ưײ��߷�ˡ }
{�ʰ濵��Ϻ������ů�ˡ�ƣ����ͺ }
{April 2002}

\techreport
{2002009}
{Similarity Search for Adaptive Ellipsoid Queries Using Spatial Transformation}
{Yasushi Sakurai, Masatoshi Yoshikawa, Ryoji Kataoka and Shunsuke Uemura}
{May 2002}


\techreport
{2002010}
{Processing XML Queries on Structure and Keyword in SKEYRUS}
{Dao Dinh Kha, Masatoshi Yoshikawa and Shunsuke Uemura}
{June 2002}

\techreport
{2002011}
{Optimal Test Time for System-on-Chip Designs using Preemptive Scheduling and Reconfigurable Wrappers}
{Erik Larsson and Hideo Fujiwara}
{July 2002}

\techreport
{2002012}
{Ubiquitous Memories: Wearable Interface for Computational Augmentation of Human Memory based on Real World Objects}
{Tatsuyuki Kawamura, Tomohiro Fukuhara, Hideaki Takeda, Yasuyuki Kono, Masatsugu Kidode}
{July 2002}

\techreport
{2002013}
{Design for Consecutive Transparency of RTL Circuits}
{Tomokazu Yoneda and Hideo Fujiwara}
{July 2002}

\techreport
{2002014}
{QoS Provisioning with Shared Wavelength Allocation for Limited-range Wavelength Conversion}
{Takuji Tachibana and Shoji Kasahara}
{August 2002}

\techreport
{2002015}
{Corpus counts of NP sequences in Japanese}
{Ryu Iida and Edson T. Miyamoto}
{November 2002}

\techreport
{2002016}
{QoS-Guaranteed Wavelength Allocation for WDM Networks with Limited-Range Wavelength Conversion}
{Takuji Tachibana and Shoji Kasahara}
{November 2002}

\techreport
{2002017}
{Remembering the Object Location with a Wearable Vision Interface}
{Takahiro Ueoka, Tatsuyuki Kawamura, Norimichi Ukita, Yasuyuki Kono, Masatsugu Kidode}
{December 2002}


\item[] {\large\bf ===== 2003 =====}

\techreport
{2003001}
{Performance Analysis of Dynamic Light-path Configuration for Symmetric WDM Ring Networks}
{Takuji Tachibana and Shoji Kasahara}
{February 2003}

\techreport
{2003002}
{Area and Time Co-Optimization for System-on-a-Chip based on Consecutive Testability}
{Tomokazu Yoneda, Tetsuo Uchiyama and Hideo Fujiwara}
{February 2003}

\techreport
{2003003}
{Round-Robin Burst Assembly and Constant Transmission Scheduling for Optical Burst Switching Networks}
{Takuji Tachibana, Tomoya Ajima and Shoji Kasahara}
{April 2003}

\techreport
{2003004}
{Dynamic Parameter Adjustment for Available-Bandwidth Estimation of TCP in Wired-Wireless Networks}
{Natsuki Itaya and Shoji Kasahara}
{April 2003}

\techreport
{2003005}
{Test Synthesis for Strongly Testable Datapaths using Datapath-Controller Functions}
{Michiko Inoue, Kazuhiro Suzuki, Hiroyuki Okamoto, Hideo Fujiwara}
{May 2003}

\techreport
{2003006}
{Software-Based Delay Fault Testing of Processor Cores}
{Virendra Singh, Michiko Inoue, Kewal K Saluja, Hideo Fujiwara}
{May 2003}

\techreport
{2003007}
{An Extension of Pushdown System and Its Model Checking}
{Naoya Nitta and Hiroyuki Seki}
{June 2003}

\techreport
{2003008}
{Automatic Generation of Java Query API Capable of Simulating Active Database}
{Toshiaki Majima}
{August 2003}

\techreport
{2003009}
{Reducibility of Sequential Test Generation to Combinational Test Generation for Several Delay Fault Models}
{Tsuyoshi Iwagaki, Satoshi Ohtake and Hideo Fujiwara}
{September 2003}

\techreport
{2003010}
{Design Scheme for Delay Fault Testability of Controllers Using State
Transition Information}
{Tsuyoshi Iwagaki, Satoshi Ohtake and Hideo Fujiwara}
{September 2003}

\techreport
{2003011}
{One-Sided Error Quantum Pushdown Automata with Classical Stack Operations}
{Masaki Nakanishi}
{October 2003}

\techreport
{2003012}
{Virtual Joins for XML Data}
{Dao Dinh Kha, Masatoshi Yoshikawa, Shunsuke Uemura}
{November 2003}

\techreport
{2003013}
{Obfuscated Instructions for Software Protection}
{Akito Monden, Antoine Monsifrot, Clark Thomborson}
{November 2003}

\techreport
{2003014}
{Detecting the Theft of Programs Using Birthmarks}
{Haruaki Tamada, Masahide Nakamura, Akito Monden, Ken-ichi Matsumoto}
{November 2003}

\techreport
{2003015}
{Image Similarity Mesurement by an Integrated Probabilistic Histogram}
{Tatsuyuki Kawamura, Takahiro Ueoka, Yutaka Kiuchi, Yasuyuki Kono, Masatsugu Kidode}
{December 2003}

\techreport
{2003016}
{Functional Evaluation of a Wearable Object Remembrance Support System}
{Takahiro Ueoka, Tatsuyuki Kawamura, Yasuyuki Kono, Masatsugu Kidode}
{December 2003}

\techreport
{2003017}
{Rating Human Relations for Recommendation of an Augmented Video Memory using Human Profile Data and Meeting Logs}
{Tatsuyuki Kawamura, Chin-Chan Lin, Yasuyuki Kono, Masatsugu Kidode}
{December 2003}

\item[] {\large\bf ===== 2004 =====}

\techreport
{2004001}
{Classification of Sequential Circuits Based on Combinational Test
Generation Complexity}
{Chia Yee Ooi and Hideo Fujiwara}
{January 2004}

\techreport
{2004002}
{Some tau-Equivalent Classes of Sequential Circuits}
{Chia Yee Ooi and Hideo Fujiwara}
{June 2004}

\techreport
{2004003}
{Performance Analysis of Timer-Based Burst Assembly with Slotted Scheduling for Optical Burst Switching Networks}
{Takuji Tachibana and Shoji Kasahara}
{September 2004}

\techreport
{2004004}
{Burst-Cluster Transmission: Service Differentiation Mechanism for Immediate Reservation in Optical burst Switching Networks}
{Takuji Tachibana and Shoji Kasahara}
{September 2004}

\techreport
{2004005}
{Optimal Lightpath Establishment Policy for Service Differentiation in WDM Networks with Full-Range Wavelength Conversion}
{Takuji Tachibana and Shoji Kasahara}
{September 2004}

\techreport
{2004006}
{Software-Based Delay Fault Self-Testing of Pipelined Processor Cores}
{Virendra Singh, Michiko Inoue, Kewal K. Saluja, and Hideo Fujiwara}
{September 2004}

\techreport
{2004007}
{XMLʸ����Ф��륢�������ӥ�ƥ��������ɥ饤��Ŭ��������}
{���Ĵ�ϯ, ��¼�ٻ�, �ع�Ƿ}
{October 2004}

\techreport
{2004008}
{Link Analysis with Kernels}
{Takahiko Ito, Masashi Shimbo, Taku Kudo, and Yuji Matsumoto}
{October 2004}

\techreport
{2004009}
{Acceleration of Transition Test Generation for Acyclic Sequential Circuits Utilizing Constrained Combinational Stuck-at Test Generation}
{Tsuyoshi Iwagaki, Satoshi Ohtake and Hideo Fujiwara}
{December 2004}


\item[] {\large\bf ===== 2005 =====}

\techreport
{2005001}
{ñ��ü���Ѳ��ٱ�ƥ��Ȥ˴�Ť��ǡ����ѥ��Υƥ����ưײ��߷�}
{����ʹ��������ů�ˡ�������һҡ�ƣ����ͺ}
{January 2005}

\techreport
{2005002}
{View Angle Evaluation of A First-person Video to Support An Object-finding Task}
{Takahiro Ueoka, Tatsuyuki Kawamura, Yasuyuki Kono and Masatsugu Kidode}
{March 2005}

\techreport
{2005003}
{Test Generation Complexity for Stuck-At and Path Delay Faults Based on tau^k-Notation}
{Chia Yee Ooi, Thomas Clouqueur and Hideo Fujiwara}
{May 2005}

\techreport
{2005004}
{Power-Constrained Test Scheduling for Multi-Clock Domain SoCs}
{Tomokazu Yoneda, Kimihiko Masuda and Hideo Fujiwara}
{June 2005}

\techreport
{2005005}
{Design for Testability Based on Single-Port-Change Delay Testing for Data Paths}
{Yuki Yoshikawa, Satoshi Ohtake, Michiko Inoue, Hideo Fujiwara}
{August 2005}

\techreport
{2005006}
{A Presence-aware Trust Management System}
{Yoshiaki Takata, Jun Noda, Mie Takahashi, Hisashi Mouri, Itaru Hosomi, Daigo Taguchi, and Hiroyuki Seki}
{October 2005}

\techreport
{2005007}
{Off-Policy Natural Actor-Critic}
{Takeshi Mori, Yutaka Nakamura, Shin Ishii}
{November 2005}

\techreport
{2005008}
{Balancing plasticity and stability of on-line learning based on hierarchical Bayesian adaptation of forgetting factors}
{Junichiro Hirayama, Junichiro Yoshimoto and Shin Ishii}
{November 2005}

\techreport
{2005009}
{Model-based Reinforcement Learning for Partially Observable Games with Sampling-based State Estimation}
{Hajime Fujita and Shin Ishii}
{November 2005}


\item[] {\large\bf ===== 2006 =====}

\techreport
{2006001}
{An approach to Reduce Over-testing of Path Delay Faults in Data Paths Using RT-level Information}
{Yuki Yoshikawa, Satoshi Ohtake and Hideo Fujiwara}
{February 2006}

\techreport
{2006002}
{Stochastic Multiple Context-Free Grammar for RNA Pseudoknot Modeling}
{Yuki Kato and Hiroyuki Seki}
{March 2006}

\techreport
{2006003}
{A New Class of Sequential Circuits with Acyclic Test Generation Complexity}
{Chia Yee Ooi and Hideo Fujiwara}
{May 2006}

\techreport
{2006004}
{Classification of Sequential Circuits Based on Acyclic Test Generation Complexity}
{Chia Yee Ooi and Hideo Fujiwara}
{July 2006}

\techreport
{2006005}
{Efficient and Effective Test Program Generation for Software-Based Self-Test of Pipelined Processors}
{Michiko Inoue, Masato Nakazato, Shinya Yokoyama, Kazuko Kambe, Hideo Fujiwara}
{August 2006}

\techreport
{2006006}
{An SoC Test Scheduling Algorithm using Reconfigurable Union Wrappers}
{Tomokazu Yoneda, Masahiro Imanishi and Hideo Fujiwara}
{September 2006}

\techreport
{2006007}
{On the Generative Power of Multiple Context-Free Grammars and Macro Grammars}
{Hiroyuki Seki and Yuki Kato}
{September 2006}

\techreport
{2006008}
{An Extension of Association Rule Mining for Software Engineering Data Repositories}
{Shuji Morisaki, Akito Monden, Haruaki Tamada, Tomoko Matsumura, and Ken-ichi Matsumoto}
{November 2006}

\item[] {\large\bf ===== 2007 =====}

\techreport
{2007001}
{��ư�ǡ����������Ļ벽�ġ�����Ѥ����ꥢ�륿����ե����ɥХå������ƥ�ι��ۤȻ��}
{��¼�λ�, �����Ҽ�, ���꽤��, ���Ľվ�, ���ľ��, ���Ķǿ�, ���ܿ���, ���ܷ��}
{February 2007}

\techreport
{2007002}
{�ץ����������ٱ�ꥹ�����Ф���Ū�Ȥ��륽�եȥ�������ȯ�ץ������Ļ벽�ġ��� ProStar}
{���� �վ�, ��¼ �λ�, ���� ����, ���� ���}
{February 2007}

\techreport
{2007003}
{��إ롼��ʬ�Ϥ��Ѥ����㳲�б��ǡ�������ħʬ��}
{���꽤��, ��¼�λ�, ���Ľվ�, ���ľ��, ���Ķǿ�, ���ܷ��}
{February 2007}


\techreport
{2007004}
{A Placement and Routing Algorithm for a Reconfigurable 1-bit Processor Array}
{Mitsuru Tomono, Masaki Nakanishi, Shigeru Yamashita, and Yasuhiko Nakashima}
{March 2007}

\techreport
{2007005}
{GQM��ǥ�˴�Ť��߷׹��������ٷ�¬��ˡ�����}
{��¼�λҡ����꽤�ʡ����Ľվ������ľ�������Ķǿ͡����ܷ��}
{March 2007}

\techreport
{2007006}
{�ץ�������������Ū�Ȥ���ODC���Ѥ�����ٽ�������ʬ��}
{��¼�λҡ����꽤�ʡ����Ľվ������ľ�������Ķǿ͡����ܷ��}
{March 2007}

\techreport
{2007007}
{�߷׽�κ����Ѥ��θ������ӥ塼��Ψ�������ˡ����ƤȻ���Ҳ�}
{��¼�λҡ����ľ�������꽤�ʡ����Ľվ������Ķǿ͡����ܷ��}
{March 2007}

\techreport
{2007008}
{�ޥϥ�Υӥ���Υ�ˤ�������оݤ�Ǯ���̿����ˡ}
{���� �������� ����}
{April 2007}

\techreport
{2007009}
{An Experiment to Explore Practical Training for Object-Oriented Design Novices}
{Izuru Kume, Naoya Nitta and Yasuhiro Takemura}
{May 2007}

\techreport
{2007010}
{�������Ҥ��Ѥ���MT�����ƥ�ˤ�����ñ�̶��ֵ����ǡ�������ˡ��ɾ���¸�}
{���� �������� ����}
{May 2007}

\techreport
{2007011}
{Design and Evaluation of Dynamic Software Birthmarks Based on API Calls}
{Haruaki Tamada, Keiji Okamoto, Masahide Nakamura, Akito Monden, Ken-ichi Matsumoto}
{May 2007}

\techreport
{2007012}
{Over-testing Reduction for Delay Faults through False Path Exclusion Using RTL Information}
{Yuki Yoshikawa, Satoshi Ohtake and Hideo Fujiwara}
{June 2007}

\techreport
{2007013}
{Policy Gradient Reinforcement Learning with Log Stationary Distribution Gradients}
{Tetsuro Morimura, Eiji Uchibe, Junichiro Yoshimoto, and Kenji Doya}
{September 2007}

\techreport
{2007014}
{WBS�ǡ������Ѥ�������ͽ�º��Ƚ�λ��ͽ�º��δ�Ϣʬ��}
{���� ��, ���� �վ�, ���� ����, ���� ����, ���� ���}
{November 2007}

\techreport
{2007015}
{������ˤ�äƵ������Ƥ����Ǥ����ĥ�ץ�����५��ե顼����ˡ}
{����ͺ��Ϻ, ���Ķǿ�, ��¼����, ���ܷ��}
{December 2007}

\item[] {\large\bf ===== 2008 =====}

\techreport
{2008001}
{A Minimum Weight Test Procedure for a Certain Subclass of Array LDPC Codes}
{Kenji SUGIYAMA, Yuichi KAJI}
{January 2008}

\techreport
{2008002}
{���եȥ�������ȯ�ץ��������ȴ����ٱ�Τ���ι����������㳲�����ǡ����γ���}
{��¼�λҡ����Ķǿ�}
{February 2008}

\techreport
{2008003}
{���եȥ������ʼ��ؤαƶ���¬�Τ���Υƥ��ȹ����Ǥμ�������̤���ħʬ��}
{��¼�λҡ����ܷ��}
{February 2008}

\techreport
{2008004}
{�����������������Ū��¬�ˤ��۾�⥸�塼�븡�μ�ˡ�����}
{��¼�λҡ������Ҽ������꽤�ʡ����Ľվ������Ĳ��ȡ����Ķǿ͡����ܷ��}
{March 2008}

\techreport
{2008005}
{SHINOBI: A Real-Time Code Clone Detection Tool for Software Maintenance}
{Takanobu Yamashina, Hidetake Uwano, Kyohei Fushida, Yasutaka Kamei, Masataka Nagura, Shinji Kawaguchi, Hajimu Iida}
{March 2008}

\techreport
{2008006}
{Risk-based Inspection}
{Shuji Morisaki}
{May 2008}

\techreport
{2008007}
{Comparison of the Expressive Power of Language-based Access Control Models}
{Yoshiaki Takata and Hiroyuki Seki}
{July 2008}

\techreport
{2008008}
{����Ū�����ײ��Ω�Ƥ�ٱ礹�륷���ƥ�γ�ȯ}
{���� ��, ���� ��ʿ, ��� ����, ���� ��}
{November 2008}

\item[] {\large\bf ===== 2009 =====}

\techreport
{2009001}
{Efficient Mutual Exclusion Algorithm for High System Congestion}
{Tsuyoshi Suzuki, Michiko Inoue, Hideo Fujiwara}
{January 2009}

\techreport
{2009002}
{A Trace Analysis Approach to Comprehend Features in Object-Oriented Effect Systems}
{Izuru Kume and Etsuya Shibayama}
{February 2009}

\techreport
{2009003}
{Bypassed Alignment Graph for Learning Coordination in Japanese Sentences: Supplementary Material}
{Hideharu Okuma, Kazuo Hara, Masashi Shimbo, and Yuji Matsumoto}
{July 2009}

\techreport
{2009004}
{An Approach to RTL False Path Mapping Using Uniqueness of Paths}
{Hiroshi Iwata, Satoshi Ohtake and Hideo Fujiwara}
{September 2009}

\techreport
{2009005}
{���ե��祢��ȯ�ˤ�����桼���� �٥���֥��ߥ�˥������������ʬ�Ϥˤ�������ã��ɾ��}
{��¼ �λҡ���ʿ ��ͺ������ ���ʡ����� ���}
{October 2009}

\techreport
{2009006}
{�桼���ȥ٥���֤ζ�Ĵ�ˤ���׵��ʼ����ݤΤ�������̲�����}
{��¼ �λҡ����� ���}
{November 2009}

\techreport
{2009007}
{�¹Է���ʬ����ˤ��ץ��������ѥ���ѡ���ɾ��}
{���� ���ʡ����� �ǿ͡����� ���}
{December 2009}

\item[] {\large\bf ===== 2010 =====}

\techreport
{2010001}
{Standardizing the Software Tag in Japan for Transparency of Development}
{Masateru Tsunoda, Tomoko Matsumura, Hajimu Iida, Kozo Kubo, Shinji Kusumoto, Katsuro Inoue, Ken-ichi Matsumoto}
{January 2010}

\techreport
{2010002}
{Automatic Generation of History-Based Access Control from Information Flow Specification}
{Yoshiaki Takata, Hiroyuki Seki}
{April 2010}

\techreport
{2010003}
{Chomsky-Sch\"{u}tzenberger-Type Characterization of Multiple Context-Free Languages}
{Ryo Yoshinaka, Yuichi Kaji, and Hiroyuki Seki}
{April 2010}

\techreport
{2010004}
{Enhanced Functional Fault Model for Micro Operation Faults}
{Chia Yee Ooi, Hideo Fujiwara}
{July 2010}

\techreport
{2010005}
{Proceedings of the International Workshop on Empirical Software Engineering in Practice 2010 (IWESEP 2010)}
{Akinori Ihara and Takashi Ishio}
{December 2010}

\item[] {\large\bf ===== 2011 =====}

\techreport
{2011001}
{���եȥ��������󥸥˥���󥰥�ݥ��ȥ���оݤȤ��� �㳰�롼�����}
{���� ����, ���� �ǿ�, ���� ���}
{February 2011}

\techreport
{2011002}
{���եȥ�������ȯ���׵��ʼ��θ���Τ���Υ桼�����٥���֤Υ��ߥ�˥��������η�¬��ˡ�ȷ�¬��}
{��¼�λҡ������������ľ�ҡ����꽤�ʡ����Ĺһˡ����ܷ��}
{May 2011}

\techreport
{2011003}
{Proceedings of the International Workshop on Empirical Software Engineering in Practice 2011 (IWESEP 2011)}
{Yasutaka Kamei and Bram Adams}
{November 2011}

\item[] {\large\bf ===== 2012 =====}

\techreport
{2012001}
{���������ġ��뤪��Ӥ��α��Ѽ��˴ؤ���ꥹ��ʬ�Ϥȥ����奢��󥹥������ε��һ���}
{��� ����}
{June 2012}

\techreport
{2012002}
{Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers}
{Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki and Toru Fujiwara}
{November 2012}

\item[] {\large\bf ===== 2013 =====}

\techreport
{2013001}
{���եȥ�����������ȯ�ץ��������Ȥ�Ķ��ή�����ˤ�������ǽ�׷�ɾ���˴ؤ��븦��}
{��ƣ��ע�����Ķǿ͡����ܷ��}
{January 2013}

\item[] {\large\bf ===== 2014 =====}

\techreport
{2014001}
{A Silent Self-Stabilizing Algorithm
for 1-Maximal Matching in Anonymous Networks}
{Yuma Asada, Michiko Inoue}
{October 2014}

\techreport
{2014002}
{Automatic Approach to Prepare Information for
Constructing an Assurance Case} 
{Khana Chindamaikul, Toshinori Takai, Daniel Port,
Hajimu Iida}
{December 2014}
\item[] {\large\bf ===== 2016 =====}

\techreport
{2016001}
{Byzantine gathering in networks with authenticated whiteboards}
{Masashi Tsuchida, Fukuhito Ooshita, and Michiko Inoue}
{December 2016}

\item[] {\large\bf ===== 2018 =====}

\techreport
{2018001}
{Gathering of Mobile Agents in Asynchronous Byzantine Environments with Authenticated Whiteboards}
{Masashi Tsuchida, Fukuhito Ooshita, and Michiko Inoue}
{April 2018}


%\techreport
%{}
%{}
%{}
%{}
