Pureに変更を加えた場合、すぐここに表示されます。

Fingerprint Mitsuhiro Okadaが取り組む研究トピックをご確認ください。これらのトピックラベルは、この人物の研究に基づいています。これらを共に使用することで、固有の認識が可能になります。

Linear Logic Mathematics
Semantics Engineering & Materials Science
Abstract data types Engineering & Materials Science
Cut-elimination Mathematics
Completeness Mathematics
Logic Mathematics
Abstract Data Types Mathematics
Rewriting Mathematics

ネットワーク 最近の共同研究。丸をクリックして詳細を確認しましょう。

研究成果 1987 2019

  • 779 引用
  • 16 h指数
  • 43 Article
  • 20 Conference contribution
  • 2 Chapter
  • 1 Conference article

On quasi ordinal diagram systems

Okada, M. & Takahashi, Y., 2019 1 1, : : Electronic Proceedings in Theoretical Computer Science, EPTCS. 288, p. 38-49 12 p.

研究成果: Conference article

公開
Pattern matching

Psychosocial Twin Cohort Studies in Japan: The Keio Twin Research Center (KoTReC)

Ando, J., Fujisawa, K. K., Hiraishi, K., Shikishima, C., Kawamoto, T., Nozaki, M., Yamagata, S., Takahashi, Y., Suzuki, K., Someya, Y., Ozaki, K., Deno, M., Tanaka, M., Sasaki, S., Toda, T., Kobayashi, K., Sakagami, M., Okada, M., Kijima, N., Takizawa, R. および1人, Murayama, K., 2019 1 1, (Accepted/In press) : : Twin Research and Human Genetics. p. 1-6 6 p.

研究成果: Article

公開
Twin Studies
Japan
Cohort Studies
Research
Tokyo
Diffie-Hellman
Network protocols
Key Exchange
Axioms
Acoustic waves
1 引用 (Scopus)
Abstract data types
Type Systems
Abstract Data Types
Strictly positive
Schema
1 引用 (Scopus)
Decision Making
Eye Movements
Color
hydroquinone