JetBrains研究イニシアチブ

「喜んで開発する」、「開発への意欲」-おそらく私たちからこれについて聞いたことがあるでしょう。しかし、私たちの関心は、強力な生産性ツールの設計と構築をはるかに超えています。私たちは、私たちが大きく変化し、世界をより良い場所にすることができると信じています。確実な方法の1つは、高度なテクノロジーと教育に関する研究を行うことです。私たちは世界をリードする科学機関と協力して、人々の生活に影響を与え、私たち全員を前進させることができる応用研究に取り組んでいます。



私たちの科学研究は、JetBrainsResearchの指示の下で統合されてい ます。



以下では、JetBrainsResearchの研究チームとその活動について紹介します。

JetBrains Research 150 , 19 . — .

— . , . JetBrains Research , — .

• BioLabs
• Paper-Analyzer
• HoTT
• -
• (VorPAL)

BioLabs

- : , , . , .

BioLabs — , . , BioLabs -. , , (Next Generation Sequencing), , - . BioLabs PubTrends — , . , , , , .

— , . , , , .



. . ( -). — . , .

. - . .

— . Biological Cellular Neural Network Modeling (BCNNM) . in silico , in vitro, , .

. , , ( ). .

, , . BIOCAD . , . , .

Paper-Analyzer

, , . — , .

Paper-Analyzer — , , . Paper-Analyzer Transformer, . — . , , , , , , . . — .

— . .

. COSIC — (), Selmer Center () INRIA (). : , , , , . , NSUCRYPTO — .

HoTT

— , . : , « ; , ». — , — .

Arend — - , . HTT , , Agda Coq. — - , , .

-

, , , .

- . — . ( , ) . : ( GERDA, -, KATRIN IAXO), ( , , ) ( , , Kotlin). : .

— . . , , , , .

— STEM STEM. STEM (, , ). : , ( , ), . :

1. STEM ?
2. ( , . .) ?
3. (, ..), ?
4. , — ?

. . — .

. Duckietown — , . — (SLAM). SLAM ; . SLAM , , . , SLAM , . 2019 AI Driving Olympics — , . . . , .

STEM . MIT, MISTI.

JetBrains . , , . , , , .

, , . , -.

, , , , .

. — .

. , (, ). , , , , . , , .

. . (, NUMA ).

. ? , ? ? ? , .

— , , , . : , , , , , , .

, , , . , .

- , , - ( , , , , ..), , , ( , , ).

. , .

( ) . JetBrains . — . Move method, GitHub, .

JetBrains — , — Kotlin.

. JetBrains - - . , , , , , , , , , SMT-, , , , , . , , .

(VorPAL)

JetBrains . , , — , .

, , , , . , IDE.

Kotlin. , Kotlin . , , liquid-, pattern matching, .

Kotlin, .

— , . . . , -, - .

, , .

- , , info@research.jetbrains.org.

.

JetBrains Research

The Drive to Develop