H. Nishimura

发表

A Study of Some Tense Logics by Gentzen's Sequential Method

H. Nishimura, 1980 .

On the duality between Boolean-valued analysis and reduction theory under the assumption of separability

H. Nishimura, 1993 .

A boolean-valued approach to gleason's theorem

H. Nishimura, 1994 .

Logical quantization of differential geometry

H. Nishimura, 1996 .

Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules

H. Nishimura, 1992 .

Tritium-labelled isovaleryl-RYYRIK-NH2 as potential antagonist probe for ORL1 nociceptin receptor.

H. Nishimura, Y. Shimohigashi, A. Matsushima, 2014, Bioorganic & medicinal chemistry.

Capturing of the free cysteine residue in the ligand-binding site by affinity labeling of the ORL1 nociceptin receptor.

H. Nishimura, Y. Shimohigashi, A. Matsushima, 2011, Bioorganic & medicinal chemistry.

Spare interactions of highly potent [Arg(14),Lys(15)]nociceptin for cooperative induction of ORL1 receptor activation.

H. Nishimura, Y. Shimohigashi, K. Okada, 2009, Bioorganic & medicinal chemistry.

Discriminatory synergistic effect of Trp-substitutions in superagonist [(Arg/Lys)(14), (Arg/Lys)(15)]nociceptin on ORL1 receptor binding and activation.

H. Nishimura, Y. Shimohigashi, K. Okada, 2009, Bioorganic & medicinal chemistry.

Model theory for tense logic: Saturated and special models with applications to the tense hierarchy

H. Nishimura, 1981 .

Synthetic differential geometry of jet bundles

H. Nishimura, 2001 .

Manuals in orthogonal categories

H. Nishimura, 1995 .

Logical quantizations of first-order structures

H. Nishimura, 1996 .

Empirical set theory

H. Nishimura, 1993 .

N-methylthioacetylation of RYYRIK-NH2 with enhanced specific binding affinity and high antagonist activity for nociceptin ORL1 receptor.

H. Nishimura, Y. Shimohigashi, A. Matsushima, 2014, Bioorganic & medicinal chemistry.

Development of antimicrobial thermoplastic material from archaeal poly-γ-L-glutamate and its nanofabrication.

H. Nishimura, M. Ashiuchi, H. Oya, 2013, ACS applied materials & interfaces.

α‐Helix‐peptides comprising the human nuclear receptor ERRγ competitively provoke inhibition of functional homomeric dimerization

H. Nishimura, Y. Shimohigashi, A. Matsushima, 2016, Biopolymers.

Synthetic Differential Geometry of Chen's Iterated Integrals

H. Nishimura, 2014, 1406.0075.

Logical quantization of topos theory

H. Nishimura, 1996 .

Empirical quantum mechanics

H. Nishimura, 1996 .

The logical quantization of algebraic groups

H. Nishimura, 1995 .

Empirical algebraic geometry

H. Nishimura, 1995 .

Representations of empirical set theories

H. Nishimura, 1994 .

Differential Geometry of Microlinear Frolicher Spaces IV-1

H. Nishimura, 2010, 1003.4317.

Synthetic differential geometry of higher-order total differentials

H. Nishimura, 2006 .

Boolean Valued Dedekind Domains

Hirokazu Nishimura, H. Nishimura, 1991, Math. Log. Q..

Detonation Initiation in Tube by Coaxial Predetonator

H. Nishimura, T. Yatsufusa, S. Taki, 2007 .

A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains

Hirokazu Nishimura, H. Nishimura, 1983 .

Interval Logics with Applications to Study of Tense and Aspect in English

Hirokazu Nishimura, H. Nishimura, 1980 .

Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies

Hirokazu Nishimura, H. Nishimura, 1980, Math. Log. Q..

A Preservation Theorem for Tense Logic

Hirokazu Nishimura, H. Nishimura, 1980, Math. Log. Q..

Using Artificial Substrata to Recover from the Isoyake Condition of Seaweed Beds off Japan

H. Nishimura, O. Hashimoto, T. Terajima, 2020 .

Specific binding of concanavalin A to glycolipid monolayers on gold electrodes

H. Nishimura, N. Higashi, Toshiaki Mori, 1992 .

The Baker-Campbell-Hausdorff Formula\nand\nthe Zassenhaus Formula\nin Synthetic DifferentialGeometry

Hirokazu Nishimura, H. Nishimura, 2013, 1304.4667.

Some connections between Heyting valued set theory and algebraic geometry—prolegomena to intuitionistic algebraic geometry—

Hirokazu Nishimura, H. Nishimura, 1987 .

AXIOMATIC DIFFERENTIAL GEOMETRY I{1 { TOWARDS MODEL CATEGORIES OF DIFFERENTIAL GEOMETRY

H. Nishimura, 2012 .

A Functorial Approach to the Infinitesimal Theory of Groupoids

H. Nishimura, 2007, 0709.3629.

Weil Diffeology I: Classical Differential Geometry

H. Nishimura, 2017, 1702.05769.

From Lie Algebras to Lie Groups within Synthetic Differential Geometry:Weil Sprouts of Lie's Third Fundamental Theorem

H. Nishimura, 2013, 1307.5520.

Axiomatic Differential Geometry II-2: Differential Forms

H. Nishimura, 2012, 1207.5121.

3 1 O ct 2 01 2 Axiomatic Differential Geometry II-1-Its Developments-Chapter 1 : Vector Fields

H. Nishimura, 2014 .

MICROLINEARITY IN FRöLICHER SPACES - BEYOND THE REGNANT PHILOSOPHY OF MANIFOLDS -

H. Nishimura, 2010 .

Differential Geometry of Microlinear Frolicher Spaces I

H. Nishimura, 2010, 1002.3978.

A much larger class of Frolicher spaces than that of convenient vector spaces may embed into the Cahier topos

H. Nishimura, 2009, 0908.0843.

From the Biot-Savart Law to Ampere's Magnetic Circuital Law via Synthetic Differential Geometry

H. Nishimura, 2014, 1401.1561.

Is the semantics of branching structures adequate for non-metric Ockhamist tense logics?

Hirokazu Nishimura, H. Nishimura, 1979, J. Philos. Log..

Synthetic Differential Supergeometry

H. Nishimura, 1998 .

Synthetic Hamiltonian mechanics

H. Nishimura, 1997 .

Some Applications of Boolean Valued Set Theory to Abstract Harmonic Analysis on Locally Compact Groups

Hirokazu Nishimura, H. Nishimura, 1985 .

Relative Microlinearity - Towards the General Theory of Fiber Bundles in Infinite-Dimensionl Differential Geometry -

H. Nishimura, 2010 .

Hauptsatz for higher-order modal logic

Hirokazu Nishimura, H. Nishimura, 1983, Journal of Symbolic Logic.

Semantical Analysis of Constructive PDL

Hirokazu Nishimura, H. Nishimura, 1982 .

Sequential method in propositional dynamic logic

Hirokazu Nishimura, H. Nishimura, 1979, Acta Informatica.

Proof theory for minimal quantum logic I

Hirokazu Nishimura, H. Nishimura, 1994 .

Gentzen Methods in Quantum Logic

Hirokazu Nishimura, H. Nishimura, 2009 .

Specific affinity‐labeling of the nociceptin ORL1 receptor using a thiol‐activated Cys(Npys)‐containing peptide ligand

H. Nishimura, Y. Shimohigashi, A. Matsushima, 2016, Biopolymers.

Synthetic Braided Geometry. I

H. Nishimura, 1998 .

Axiomatic Differential Geometry III-3-Its Landscape-Chapter 3: The Old Kingdom of Differential Geometers

H. Nishimura, 2017 .

Axiomatic Differential Geometry III-1

H. Nishimura, 2012, 1203.3911.

The Lie Algebra of the Group of Bisections -A Chapter in Synthetic Differential Geometry of Groupoids-

H. Nishimura, 2006, math/0612053.

Boolean Valued Decomposition Theory of States

Hirokazu Nishimura, H. Nishimura, 1985 .

An Approach to the Dimension Theory of Continuous Geometry from the Standpoint of Boolean Valued Analysis

Hirokazu Nishimura, H. Nishimura, 1984 .

An Approach to the Theory of Continuous Geometry the of Valued

H. Nishimura, 1984 .

Higher-Order Preconnections in Synthetic Differential Geometry of Jet Bundles

H. Nishimura, 2004 .

Holonomicity in synthetic differential geometry of jet bundles

H. Nishimura, 2003 .

Synthetic Theory of Superconnections

H. Nishimura, 2000 .

Is the semantics of branching structures adequate for chronological modal logics?

Hirokazu Nishimura, H. Nishimura, 1979, J. Philos. Log..