Masato Takeichi

プログラム運算のためのCoqライブラリ

橋本英樹, HU Zhenjiang, TESSON Julien, LOULERGUE Frederic, 武市正人

日本ソフトウエア科学会大会講演論文集(CD-ROM), 2009

ガイド付き木オートマトンに基づく逆プログラムの自動生成

松田一孝, 松田一孝, MU Shin‐Cheng, MU Shin‐Cheng, HU Zhenjiang, 武市正人

日本ソフトウエア科学会大会講演論文集(CD-ROM), 2009

内部参照をもつXML文書の双方向変換による編集

木津幸子, 武市正人, HU Zhenjiang

日本ソフトウエア科学会大会講演論文集(CD-ROM), 2009

3M-5 Bidirectional XML Transformation with Bi-X

Liu Dongxi, Hayashi Yasushi, Nakano Keisuke, Hu Zhenjiang, Takeichi Masato

Mar 13, 2008

3M-4 Development of Bidirectional XML Applications Using Dependency Description Schema

HAYASHI Yasushi, LIU Dongxi, NAKANO Keisuke, HU Zhenjiang, TAKEICHI Masato

Mar 13, 2008

3M-3 Vu-X : Web Publishing System based on Bidirectional Transformation

NAKANO Keisuke, LIU Dongxi, HAYASHI Yasushi, HU Zhenjiang, TAKEICHI Masato

Mar 13, 2008

A Learning Model for Kana-Kanji Conversion Systems based on PPM Method

MARUYAMA TAKAHISA, TANAKA-ISHII KUMIKO, TAKEICHI MASATO

IPSJ SIG Notes, Nov 20, 2001

Performance Evaluation of TCP Communication using Multiple Routes.

Hayashi Takanori, Yamasaki Shin'ichiro, Morita Naoto, Aida Hitoshi, Takeichi Masato, Doi Norihisa

Sep 28, 1999

Implementation and Evaluation of A Multi-Route Gateway.

MORITA Naoto, YAMASAKI Shin'ichiro, HAYASHI Takanori, AIDA Hitoshi, TAKEICHI Masato, DOI Norihisa

Sep 28, 1999

Quality evaluation of multiple TCP connections applied DRR

MORITA Naoto, YAMASAKI Shin'ichiro, HAYASHI Takanori, AIDA Hitoshi, TAKEICHI Masato, DOI Norihisa

Proceedings of the Society Conference of IEICE, Aug 16, 1999

Quality evaluation of TCP connections applied lowest guaranteed rate

YAMASAKI Shin'ichiro, MORITA Naoto, HAYASHI Takanori, AIDA Hitoshi, TAKEICHI Masato, DOI Norihisa

Proceedings of the Society Conference of IEICE, Aug 16, 1999

A study on TCP communication using multiple-route

HAYASHI Takanori, YAMASAKI Shin'ichiro, MORITA Naoto, AIDA Hitoshi, TAKEICHI Masato, DOI Norihisa

Proceedings of the Society Conference of IEICE, Aug 16, 1999

B-11-14 A Study on Quality of Electric Commerce using Guaranteed Rate

YAMASAKI Shinichiro, MORITA Naoto, HAYASHI Takanori, AIDA Hitoshi, TAKEICHI Masato, DOI Norihisa

Proceedings of the IEICE General Conference, Mar 8, 1999

B-7-78 A study of data transfer method using multiple-route in Internet

HAYASHI Takanori, YAMASAKI Shin'ichiro, MORITA Naoto, AIDA Hitoshi, TAKEICHI Masato, DOI Norihisa

Proceedings of the IEICE General Conference, Mar 8, 1999

Effects of audio-packet loss and low video-frame rates on MPEG1 audio-visual quality

MORITA Naoto, YAMASAKI Shin'ichiro, HAYASHI Takanori, AIDA Hitoshi, TEKEICHI Masato, DOI Norihisa

Proceedings of the Society Conference of IEICE, Sep 7, 1998

Effects of IP packet loss on MPEG1 video quality

YAMASAKI Shin'ichiro, MORITA Naoto, HAYASHI Takanori, AIDA Hitoshi, TEKEICHI Masato, DOI Norihisa

Proceedings of the Society Conference of IEICE, Sep 7, 1998

A Study on Quality of Multiple TCP Communications using WFQ

YAMASAKI Shin′ichiro, MORITA Naoto, HAYASI Takanori, AIDA Hitoshi, TAKEICHI Masato, DOI Norihisa

Proceedings of the IEICE General Conference, Mar 6, 1998

A Study of Guaranteed Rate for TCP Communication

MORITA Naoto, YAMASAKI Shin′ichiro, HAYASI Takanori, AIDA Hitoshi, TAKEICHI Masato, DOI Norihisa

Proceedings of the IEICE General Conference, Mar 6, 1998

Implementing a System for Writing Documents in Cooperative Work

Motohashi Takeshi, Takeichi Masato

Sep 28, 1992

Presentations

Menu

Coauthors