Computability theory investigates the fundamental limits and capabilities of algorithmic processes, asking which problems can be solved by a mechanical procedure and how efficiently. Algebraic ...

英国の大学入学資格「General Certificate of Education Advanced Level」（GCE A Level）の試験科目として「コンピュータサイエンス」を選択したら、クラスで女子生徒は自分だけだった――。そうした経験をした、英国の女子生徒ベラ・グリムジーさんの寄稿を紹介する。

Reverse Mathematics is a foundational programme that determines the minimal axioms required to prove classical theorems of analysis by working within subsystems of second-order arithmetic. In parallel ...

NPO法人みんなのコード（東京都渋谷区、代表理事：利根川 裕太、以下みんなのコード）と国立大学法人宮城教育大学附属小学校（宮城県仙台市、校長：西城 潔、以下宮城教育大附属小）は、「コンピュータサイエンス（CS）教育」の授業の実践・研究 ...

第4回「エンジニアがあえて大学で学びたくなる「学位取得」だけではないメリット」に続く本稿は、コンピュータサイエンスの学位取得を目指す際の注意点を説明する。コンピュータサイエンスの学位を取得するには、かなりの学費と時間がかかる。

米カリフォルニアスタートアップ「Recursion, Inc（リカージョン）」（本社：カリフォルニア州ロサンゼルス、代表取締役：田島慎也 、Jeffry Alvarado、以下当社）は、オンラインプログラミング学習サービス「Recursion」にて、2020年8月7日より、「コンピュータ ...

情報処理学会初等中等教育委員会などは、「高校生のためのコンピュータサイエンスオンラインセッション2020」を2020年8月3日、6日、7日にYouTubeで生中継する。コンピュータサイエンスの最先端の内容を、高校生対象に講義する。 情報処理学会は1960年に設立し ...