特集＝コンピュータと論理学



コンピュータと論理が出会ったころ──杉本 舞

プログラミング言語理論入門──萩野達也

無限ゲームとオートマトン──田中一之

暗ホーア論理・ダイナミック論理──鹿島 亮

証明は計算できる／項書き換えシステムと定理証明──外山芳人



学校数学から見える数学の風景

「数と図形」から「集合と構造」へ──浪川幸彦



サーストンからの手紙／8つの3次元幾何学の謎に迫る

一輪車空間──阿原一志



森毅の主題による変奏曲

微分篇(4)──梅田 亨



基礎講座・複素関数

解析接続からリーマン面へ(1)──川平友規



coffee break／女性が活躍できる環境を！──伊藤由佳理

こどもの眼・おとなの頭／紙一枚からの工学──時枝 正

数セミパズル部通信　ニコリ号外／波及効果──ニコリ

折って楽しむ折り紙セミナー／神明鳥居──前川 淳



エレガントな解答をもとむ

●出題＝竹縄知之・加古 孝

●解答＝山田修司・蛭子彰仁



京都大学ガロア祭／問題と解説──尾高悠志＋岸本大祐＋川口 周



第55回 国際数学オリンピック・南アフリカ大会／問題と解説──藤田岳彦



NOTE／講評と解説──ZZZ



数セミ メディアガイド

『微分学』──井ノ口潤一

『ロボットは東大に入れるか』──布川路子



今月のベスト10

情報コーナー

よこがお

次号予告