Masahiko Sato - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 42 from 42

2017

Construction of Web-Based Speech Game System "kikimimi"Kentaro Tani, Masahiko Sato, Tatsuya Murakami, Ryosuke Kawachi, Takuya Niikawa, Yoshinobu Maeda. jaciii, 21(2):359-362, 2017. [doi]

2016

Temperature Variations in Drilling of CFRP/Aluminum and CFRP/Titanium StacksMasahiko Sato, Hisataka Tanaka, Kanae Yamamoto. ijat, 10(3):348-355, 2016. [doi]

2013

Design of museum exhibits and analysis of visitor-exhibit interactionsTakashi Kiriyama, Masahiko Sato. jaise, 5(2):147-159, 2013. [doi]

Experimental Verification of Chatter-Free Ball End Milling StrategyLin Lu, Masahiko Sato, Hisataka Tanaka. ijat, 7(1):45-51, 2013. [doi]

2012

Empathetic heartbeatHideyuki Ando, Junji Watanabe, Masahiko Sato. mm 2012: 1489-1490 [doi]

A Canonical Locally Named Representation of BindingRandy Pollack, Masahiko Sato, Wilmer Ricciotti. JAR, 49(2):185-207, 2012. [doi]

2011

Design and Analysis of Interactions with Museum ExhibitsTakashi Kiriyama, Masahiko Sato. ami 2011: 182-189 [doi]

Aesthetic Design of Interactive Museum ExhibitsTakashi Kiriyama, Masahiko Sato. ami 2012: 5-11 [doi]

2010

External and internal syntax of the lambda-calculusMasahiko Sato, Randy Pollack. JSC, 45(5):598-616, 2010. [doi]

2009

Analyzing Human Behaviors in an Interactive Art InstallationTakashi Kiriyama, Masahiko Sato. hci 2009: 345-352 [doi]

Fly! Little Me: Localization of Body-Image within Reduced-SelfTatsuya Saito, Masahiko Sato. hci 2009: 255-260 [doi]

2008

delta-Similar Elimination to Enhance Search Performance of Multiobjective Evolutionary AlgorithmsHernán E. Aguirre, Masahiko Sato, Kiyoshi Tanaka. ieicet, 91-D(4):1206-1210, 2008. [doi]

A framework for checking proofs naturallyMasahiko Sato. jiis, 31(2):111-125, 2008. [doi]

Calculi of meta-variablesMasahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi. fcsc, 2(1):12-21, 2008. [doi]

2006

Effects of δ-Similar Elimination and Controlled Elitism in the NSGA-II Multiobjective Evolutionary AlgorithmMasahiko Sato, Hernán E. Aguirre, Kiyoshi Tanaka. cec 2006: 1164-1171 [doi]

2004

A Simple Theory of Expressions, Judgments and DerivationsMasahiko Sato. asian 2004: 437-451 [doi]

2003

Calculi of Meta-variablesMasahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi. csl 2003: 484-497 [doi]

2002

Strong normalizability of the non-deterministic catch/throw calculiYukiyoshi Kameyama, Masahiko Sato. TCS, 272(1-2):223-245, 2002. [doi]

Theory of Judgments and DerivationsMasahiko Sato. dsp 2002: 78-122 [doi]

A Simply Typed Context Calculus with First-class EnvironmentsMasahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama. jflp, 2002, 2002. [doi]

2001

Explicit EnvironmentsMasahiko Sato, Takafumi Sakurai, Rod M. Burstall. FUIN, 45(1-2):79-115, 2001.

CAL: A Computer Assisted Learning System for Computation and LogicMasahiko Sato, Yukiyoshi Kameyama, Izumi Takeuti. eurocast 2001: 509-524 [doi]

A Simply Typed Context Calculus with First-Class EnvironmentsMasahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama. FLOPS 2001: 359-374 [doi]

1999

Explicit EnvironmentsMasahiko Sato, Takafumi Sakurai, Rod M. Burstall. tlca 1999: 340-354 [doi]

1998

A Classical Catch/Throw Calculus with Tag Abstractions and its Strong NormalizabilityYukiyoshi Kameyama, Masahiko Sato. cats 1998: 183-198

1997

Classical Brouwer-Heyting-Kolmogorov InterpretationMasahiko Sato. alt 1997: 176-196

Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw RulesMasahiko Sato. TCS, 175(1):75-92, 1997. [doi]

1996

Fault Detection Algorithm of Acoustic Inspection System for Underground Telecommunication ConduitTetsuya Manabe, Masahiko Sato, Tadashi Kotani, Takenori Morimitsu. isspa 1996: 266-269 [doi]

1994

A Purely Functional Language with Encapsulated AssignmentMasahiko Sato. tacs 1994: 179-202

Conservativeness of Lambda over lambda-sigma-CalculusMasahiko Sato, Yukiyoshi Kameyama. BIRTHDAY 1994: 73-94

1991

Adding Proof Objects and Inductive Definition Mechanisms to Frege StructuresMasahiko Sato. tacs 1991: 53-87

1990

Hand-eye system with three-dimensional vision and microgripper for handling flexible wireTsugito Maruyama, Shinji Kanda, Masahiko Sato, Takashi Uchiyama. mva, 3(4):189-199, 1990. [doi]

1989

Development of hand-eye system with 3-D vision and microgripper and its application to assembling flexible wiresTsugito Maruyama, Shinji Kanda, Masahiko Sato, Takashi Uchiyama. cvpr 1989: 680-685 [doi]

1987

Quty: A Concurrent Language Based on Logic and FunctionMasahiko Sato. ICLP 1987: 1034-1056

1986

QUTE: A Functional Language Based on UnificationMasahiko Sato, Takafumi Sakurai. In Logic Programming: Functions, Relations, and Equations. pages 131-155, 1986.

1984

QUTE: A Functional Language Based on UnificationMasahiko Sato, Takafumi Sakurai. fgcs 1984: 157-165

1983

Qute: A Prolog/Lisp Type Language for Logic ProgrammingMasahiko Sato, Takafumi Sakurai. IJCAI 1983: 507-513

Theory of Symbolic Expressions, IMasahiko Sato. TCS, 22:19-55, 1983.

1980

A Cut-Free Gentzen-Type System for the Modal Logic S5Masahiko Sato. JSYML, 45(1):67-84, 1980.

1979

Towards a Mathematical Theory of Program SynthesisMasahiko Sato. IJCAI 1979: 757-762

1977

The Retracts in ::::P omega:::: do not Form a Continuous Lattice - A Solution to Scott s ProblemChiharu Hosono, Masahiko Sato. TCS, 4(2):137-142, 1977.

1976

On Formal Fractions Associated with the Symmetric GroupsMasahiko Sato. JCT, 20(1):124-131, 1976.

Sign in or sign up to see more results.

runs on WebDSL