Masahiro Sakai

According to our database, Masahiro Sakai authored at least 8 papers between 2004 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Semi-static type, shape, and symbolic shape inference for dynamic computation graphs.

Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, Shunsuke Shimizu

Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2020

2018

Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning.

Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai

CoRR, 2018

2014

MC/DC-Like Structural Coverage Criteria for Function Block Diagrams.

Kohei Maruchi, Hiromasa Shin, Masahiro Sakai

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2012

Effect of Impurity in Discharge Gas on High γ Properties of Newly Developed CeSrO Film for Novel Plasma Display Panel.

Yasuhiro Yamauchi, Yusuke Fukui, Yosuke Honda, Michiko Okafuji, Masahiro Sakai, Mikihiko Nishitani, Yasushi Yamauchi

IEICE Trans. Electron., 2012

Model-Checking C Programs against JML-like Specification Language.

Masahiro Sakai, Kohei Maruchi, Takeo Imai

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2008

Improvement Rendering of Web3D Using the Shading Language.

Masahiro Sakai, Noriyuki Ichijo, Yoshinori Dobashi, Tsuyoshi Yamamoto

Proceedings of the 14th Eurographics Symposium on Virtual Environments, 2008

2006

3D Environments Utilization Effects in Development Processes of Embedded IT Devices.

Masahiro Sakai, Yasutaka Ishizaki, Atsushi Togawa, Tsuyoshi Yamamoto

Proceedings of the Fourth International Conference on Creating, 2006

2004

Application of Squeak/Croquet Environment for Embedded Systems Development.

Masahiro Sakai, Yasutaka Ishizaki, Atsushi Togawa, Tsuyoshi Yamamoto

Proceedings of the 2004 Conference on Creating, 2004