| 2008 |
|---|
| 38 | EE | Yoshihiro Shimoji,
Taiki Wada,
Sachio Hirokawa:
Dynamic Thesaurus Construction from English-Japanese Dictionary.
CISIS 2008: 918-923 |
| 2007 |
|---|
| 37 | EE | Takahiro Seki,
Taiki Wada,
Yasuhiro Yamada,
Nozomi Ytow,
Sachio Hirokawa:
Multiple Viewed Search Engine for an e-Journal - A Case Study on Zoological Science.
HCI (4) 2007: 989-998 |
| 36 | EE | Masao Mori,
Tetsuya Nakatoh,
Sachio Hirokawa:
Links and Cycles of Web Databases.
SWAP 2007 |
| 2006 |
|---|
| 35 | EE | Masao Mori,
Tetsuya Nakatoh,
Sachio Hirokawa:
Functional Composition of Web Databases.
ICADL 2006: 439-448 |
| 2005 |
|---|
| 34 | | Yufeng Dou,
Eisuke Itoh,
Sachio Hirokawa,
Daisuke Ikeda:
An Approach to Analyzing Correlation between Songs/Artists Using iTMS Playlists.
CIMCA/IAWTIC 2005: 951-956 |
| 33 | | Tetsuya Nakatoh,
Kensuke Baba,
Daisuke Ikeda,
Yasuhiro Yamada,
Sachio Hirokawa:
An Efficient Mapping for Computing the Score of String Matching.
Journal of Automata, Languages and Combinatorics 10(5/6): 697-704 (2005) |
| 2004 |
|---|
| 32 | EE | Yasuhiro Yamada,
Nick Craswell,
Tetsuya Nakatoh,
Sachio Hirokawa:
Testbed for information extraction from deep web.
WWW (Alternate Track Papers & Posters) 2004: 346-347 |
| 2003 |
|---|
| 31 | EE | Sachio Hirokawa,
Eisuke Itoh,
Tetsuhiro Miyahara:
Semi-Automatic Construction of Metadata from a Series of Web Documents.
Australian Conference on Artificial Intelligence 2003: 942-953 |
| 30 | EE | Daisuke Ikeda,
Yasuhiro Yamada,
Sachio Hirokawa:
Expressive Power of Tree and String Based Wrappers.
IIWeb 2003: 21-26 |
| 29 | EE | Tetsuhiro Miyahara,
Yusuke Suzuki,
Takayoshi Shoudai,
Tomoyuki Uchida,
Sachio Hirokawa,
Kenichi Takahashi,
Hiroaki Ueda:
Extraction of Tag Tree Patterns with Contractible Variables from Irregular Semistructured Data.
PAKDD 2003: 430-436 |
| 2002 |
|---|
| 28 | EE | Yasuhiro Yamada,
Daisuke Ikeda,
Sachio Hirokawa:
Automatic Wrapper Generation for Multilingual Web Resources.
Discovery Science 2002: 332-339 |
| 27 | EE | Sachio Hirokawa,
Daisuke Ikeda:
Visualization and Analysis of Web Graphs.
Progress in Discovery Science 2002: 616-627 |
| 2001 |
|---|
| 26 | EE | Daisuke Ikeda,
Yasuhiro Yamada,
Sachio Hirokawa:
Eliminating Useless Parts in Semi-structured Documents Using Alternation Counts.
Discovery Science 2001: 113-127 |
| 25 | EE | Yasuhiro Yamada,
Daisuke Ikeda,
Sachio Hirokawa:
SCOOP: A Record Extractor without Knowledge on Input.
Discovery Science 2001: 482-487 |
| 24 | | Kengo Nishino,
Daisuke Nagano,
Sachio Hirokawa:
Generation of Navigation Script from Log and Link.
WebNet 2001: 534-539 |
| 23 | EE | Kensuke Baba,
Sachio Hirokawa,
Ken-etsu Fujita:
Parallel Reduction in Type Free lambda/mu-Calculus.
Electr. Notes Theor. Comput. Sci. 42: (2001) |
| 2000 |
|---|
| 22 | EE | Daisuke Ikeda,
Sachio Hirokawa:
Extraction Positive and Negative Keywords for Web Communities.
Discovery Science 2000: 299-303 |
| 21 | | Yoshihiro Okada,
Eisuke Itoh,
Sachio Hirokawa:
IntelligentBox: Its Aspects as a Rapid Construction System for Interactive 3D Games.
GAME-ON 2000: 22- |
| 20 | EE | Sachio Hirokawa,
Daisuke Nagano:
Long Normal Form Proof Search and Counter-Model Generation.
Electr. Notes Theor. Comput. Sci. 37: (2000) |
| 19 | | Sachio Hirokawa,
Yuichi Komori,
Misao Nagayama:
A Lambda Proof of The P-W Theorem.
J. Symb. Log. 65(4): 1841-1849 (2000) |
| 1999 |
|---|
| 18 | EE | Daisuke Ikeda,
Tsuyoshi Taguchi,
Sachio Hirokawa:
Developing a Knowledge Network of URLs.
Discovery Science 1999: 328-329 |
| 17 | | Keiichi Mishima,
Sachio Hirokawa,
Naoyuki Kato:
GUI for Geometric Inference Engine on Internet.
WebNet 1999: 1360-1361 |
| 1998 |
|---|
| 16 | EE | Sachio Hirokawa,
Tsuyoshi Taguchi:
KN on ZK - Knowledge Network on Network Note Pad ZK.
Discovery Science 1998: 411-412 |
| 15 | EE | Sachio Hirokawa:
Infiniteness of Proof(alpha) is Polynomial-Space Complete.
Theor. Comput. Sci. 206(1-2): 331-339 (1998) |
| 1996 |
|---|
| 14 | | Masako Takahashi,
Yohji Akama,
Sachio Hirokawa:
Normal Proofs and Their Grammar.
Inf. Comput. 125(2): 144-153 (1996) |
| 13 | | Sachio Hirokawa:
The proofs of alpha -> alpha in P-W.
J. Symb. Log. 61(1): 195-211 (1996) |
| 12 | | Sachio Hirokawa,
Yuichi Komori,
Izumi Takeuti:
A reduction rule for Peirce formula.
Studia Logica 56(3): 419-426 (1996) |
| 1994 |
|---|
| 11 | | Masako Takahashi,
Yohji Akama,
Sachio Hirokawa:
Normal Proofs and Their Grammar.
TACS 1994: 465-493 |
| 1993 |
|---|
| 10 | | Sachio Hirokawa:
The Relevance Graph of a BCK-Formula.
J. Log. Comput. 3(3): 269-285 (1993) |
| 9 | | Yuichi Komori,
Sachio Hirokawa:
The Number of Proofs for a BCK-Formula.
J. Symb. Log. 58(2): 626-628 (1993) |
| 8 | | Sachio Hirokawa:
Principal Types of BCK-lambda-Terms.
Theor. Comput. Sci. 107(2): 253-276 (1993) |
| 1992 |
|---|
| 7 | | Sachio Hirokawa:
Balanced Formulas, BCK-Minimal Formulas and Their Proofs.
LFCS 1992: 198-208 |
| 6 | | Sachio Hirokawa:
Converse Principal Type-Scheme Theorem in Lambda Calculus.
Studia Logica 51(1): 83-95 (1992) |
| 1991 |
|---|
| 5 | | Sachio Hirokawa:
BCK-Formulas Having Unique Proofs.
Category Theory and Computer Science 1991: 106-120 |
| 4 | | Sachio Hirokawa:
Principal Type-Schemes of BCI-Lambda-Terms.
TACS 1991: 633-650 |
| 3 | | Sachio Hirokawa:
Prinipal Type Assignment to Lambda Terms.
Int. J. Found. Comput. Sci. 2(2): 149-162 (1991) |
| 1988 |
|---|
| 2 | | Shoji Sekimoto,
Sachio Hirokawa:
One-Step Recurrent Terms in lambda-beta-Calculus.
Theor. Comput. Sci. 56: 223-231 (1988) |
| 1985 |
|---|
| 1 | | Sachio Hirokawa:
Complexity of the Combinator Reduction Machine.
Theor. Comput. Sci. 41: 289-303 (1985) |
