|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
著者: "Ishihara, Hajime"
9 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| Dec-2002 | A constructive look at the completeness of the space DR | Ishihara, Hajime; Yoshida, Satoru |
| Sep-2005 | On constructing completions | Crosilla, Laura; Ishihara, Hajime; Schuster, Peter |
| 2007 | Unique Existence and Computability in Constructive Reverse Mathematics | Ishihara, Hajime |
| Dec-2008 | A continuity principle, a version of Baire's theorem and a boundedness principle | Ishihara, Hajime; Schuster, Peter |
| 18-Sep-2010 | On the contrapositive of countable choice | Ishihara, Hajime; Schuster, Peter |
| 20-Jul-2011 | Two subcategories of apartness spaces | Ishihara, Hajime |
| 31-Dec-2011 | A predicative completion of a uniform space | Berger, Josef; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter |
| 31-Dec-2011 | The uniform boundedness theorem and a boundedness principle | Ishihara, Hajime |
| 6-Nov-2012 | Relating Bishop's function spaces to neighbourhood spaces | Ishihara, Hajime |
|
