ファン・デル・ヴェルデンの定理 問題(A)の答えは 十分大きいゲームボードを使い3人でAPGを行うと，引き分けは起こらない ということがファン・デル・ヴェルデンの定理という定理を使うと保証されます．ファン・デル・ヴェルデンの定理とはファン・デル・ヴェルデンが1927年に証明した定理です．どのような定理かAPGの言葉を使って説明しましょう． まず，\(~r~\) 人で\(~k~\) 個等間隔に並べれば勝利するAPGを次の帯で行います．帯の場合も平面と同じで，ゲームは成立します．自分のターンが回ってきたら1人1つ駒を置き，等間隔に\(~k~\)個並べれば勝ちです． このとき，帯の長さ \(~n~\) を十分大きくすると，必ず誰かしらは勝利する．という定理です．つまり，人数と勝利条件に応じて十分長い帯でAPGを行うと，必ず誰かしらの駒は等間隔に\(~k~\)個並ぶという定理です．これは「帯」とい

東北大学大学院 生命科学研究科 博士後期課程２年の佐藤大気と申します。進化生物学の研究室に所属しており、精神疾患や個性の進化遺伝基盤を研究しています。 突然ですが、皆さんのまわりには「落ち込みやすい人」はいませんか？ 同じように先生や上司に叱られたとして、深刻に落ち込んでしまい、時にはふさぎ込んでしまう人がいる一方で、次頑張ればいいや、とポジティブに考えられる人もいます。こうしたいわゆる「性格」や「個性」の違いはどこから生まれてくるのでしょうか？ この記事では、これまでに私が行ってきた研究を踏まえて、こうした個性や、あるいは精神疾患の進化的背景について考えたいと思います。 はじめに あらゆる心の働きは遺伝の影響を受ける 皆さんの個性はどのような言葉で表されるでしょうか。 内向的、好奇心が強い、不安を感じやすい、楽観的、勇敢、共感能力が高い、向こう見ず、保守的、自尊心が高い…。性格を表す言葉

この記事は CAMPHOR- Advent Calendar 2018 20日目の記事です．昨日の記事は @lotz 氏の「“アルゴリズムこうしん”のアルゴリズムをHaskellで実装する」でした． wsgi_lineprof は WSGI ミドルウェアとして実装された Python のラインプロファイラです．この記事では wsgi_lineprof がどのようにして実装されているかを，WSGI や CPython の内部実装の簡単な説明とともに紹介します．プロファイラの実装について興味がある人や，Python 処理系，WSGI の裏側に興味がある人の参考になれば幸いです． wsgi_lineprof とは まず簡単に wsgi_lineprof を紹介します．wsgi_lineprof は上でも述べたように WSGI ミドルウェアとして実装された Python のラインプロファイラです．

この記事は CAMPHOR- Advent Calendar 13日目の記事です． 先日ファストフード検索というWebアプリを作ったので，そのことについて書きます． ff.kuminecraft.xyz 経緯 ちょっといいメシ屋を探すとき，僕はFoursquareというアプリを使います．Foursquareのスマホアプリを開くと「昼食」「カフェ」みたいなカテゴリーが表示され，いずれかを選択すると近隣のおすすめのお店のリストが表示されます． 便利に使っているのですが，Foursquareは "ちょっといいご飯" を教えてくれるサービスなので，例えばマクドナルドとか吉野家とは載ってません． しかし，僕はいつでもそういう気合の入った飯が食べたいわけではなく，どこで食っても同じ味がするファストフードを食いたいと思うこともあります．つまり，「ファストフード店に特化したFoursquare」みたいな概

京都大学大学院 情報学研究科 通信情報システム専攻 修士2回生の五十嵐雄です．大学では，プログラミング言語理論，その中でも特に型システムの研究をしています． この記事では，私が特に力を入れて研究している漸進的型付けという種類の型システムについて紹介します．プログラムや型システムといった基本的な概念から解説していくので，プログラミング経験のない人も安心して読み始めてもらえたらと思います． はじめに プログラムとはコンピュータへの命令を記述したものです．2018年現在，私たちの生活は数多くのプログラムに支えられています． あなたがこの記事を Windows が入ったパソコンで見ているなら，まずその Windows がプログラムです．お家にテレビや冷蔵庫があれば，それらの中にもプログラムが内蔵されているでしょう．空いた時間にスマートフォンでゲームをするなら，遊んでいるゲームも全てプログラムです．

この記事は CAMPHOR- Advent Calendar 2018 3日目の記事です． 高校の文化祭の食販の注文フローを電子するべくWebアプリケーションを作り，当時*1はWeb素人だったためクソ実装になったが，役には立ったという話をします． 背景 僕の母校の高校には，三年生が文化祭で食販をやるという慣習があり，僕のクラスはケバブを販売することになりました． 母校の家庭科の教員は衛生管理に大変厳しい人で，食販を行う場合は以下の条件を満たさないと許可が降りませんでした*2． 調理は調理室のみで行う(教室で調理してはいけない) 作り置きは禁止*3 これらの制約を満たすため，多くのクラスは以下のような流れで食販を行っていました． 教室で注文を受け，注文を何件か溜める 注文を持って調理室に向かう 注文を伝え，調理が完了するのを待つ 料理を運ぶ このフローには問題があります． まず，2に「調理室

はじめまして、京都大学大学院の文学研究科で哲学を研究している大島祐輝と申します。 京都大学には哲学系でも様々な研究室がありますが、私が属しているのは哲学研究室です。私個人としては現代のいわゆる分析哲学を研究しています。 哲学に興味を持ったきっかけはいろいろあるのですが、思い出す限りで一番強いものは京極夏彦という作家の小説で「唯心論」、世界に存在するのは私の心だけで他の人やものは全てまぼろしであるという考え方を知ったことでしょうか。 以下で紹介する「存在論」という研究テーマもそうしたきっかけからたどり着いたものと言えるかもしれません。 イントロダクション 「科学」と「常識」の関係 簡単に言って、私が哲学を研究する上での関心は「科学」と「常識」の間の関係にあります。 例えば脳を神経細胞の集まりとして捉え、思考活動をそれら脳神経の相互作用の集積だと捉える認知科学と、私たちが普段「心」や「意識」と

京都大学大学院文学研究科の博士課程3年の上田竜平と申します。研究分野は認知心理学で、ヒトの恋愛関係の構築と維持の脳研究を行なっています。 皆さんの中には現在、誰かとお付きあいしている方もいると思います。本記事のテーマを一言で申しますと「我々はどのようにして、そうした特定の異性との関係を維持しているか」になります。 文学作品や哲学書を読み解いて考察する文学者や哲学者から、世界中を駆け回って実地調査する人類学者まで、様々な分野の研究者がこの問題に挑戦しています。私はこの問題に対し、様々な分野の研究から提案された仮説を実証する実験心理学のアプローチを取っています。 ヒトは一途？浮気っぽい？ 多くの読者の方は日本で生まれた方だと思います。周りには当然ながら「一夫一妻的な」関係を築いているご夫婦、カップルの方が多いでしょう。 では外国ではどうでしょうか。実は文化人類学の研究から、現代の大半の社会で一

プロローグ 大学入学祝いのパソコンは12-inchのMacBookを選んだ。 USB Type-Cのこととかスペックが低いこととか気になったけど、もう見た目がかっこいいからこれに決めた！ってなった。振り返ってみれば、この時に自分が好きでいられるパソコンを買ったことはとてもいい選択だったように思う。 パソコンを買ったら、もう可愛い可愛いMacBookが使いたくて自然にプログラミングを始めようと思い立った。よし、Pythonやろう。そう思っていた。 Pythonの本を買って進めていたのだけど、古い本を買ってしまったので設定などが本通りにうまくいかず、結局やめてしまった。それでも心の何処かにプログラミングしたいなという思いがあり、数ヶ月後にとうとうSwiftの勉強を始めたのだった。 なぜSwift？ 僕がSwiftを触り始めた理由は「自分のiPhoneで動くアプリが作りたかったから」である。 i

Photo by torne – empty can (2014) この記事は CAMPHOR- Advent Calendar 2016 の3日目の記事です． こんにちは，yaitaimo です． 最近はアメリカの大統領選挙がありましたね． 選挙前にはトランプ氏が多くの投票所において不正が行われていると発言していたり， トランプ氏を勝たせようとするロシアの工作があるのではないかという噂が出たり， 選挙後にはトランプ氏が勝利した3州について再集計を求める声があがったりなど， ニュースが盛り上がりました． （トランプ氏と３回書きましたが，特に意図はないです） 国のトップを決める選挙で「不正」が行われているかもしれないというのは，あまり想像したくないことですね．今回は，ある仮想の電子投票システムにおいて，ある仮想の候補を勝たせるために，どのような「応援」が出来るかについて，考えてみようと思いま

この記事は CAMPHOR- Advent Calendar 2016 の2日目の記事です。 ytmatsuge です。 CAMPHOR- 6期の代表をしております。 CAMPHOR- HOUSE には 「エンジニアを採用したい」「エンジニアにうちのプロジェクトを手伝って欲しい」 という方がたくさん来ます。 (※本文中の「エンジニア」とは「IT系エンジニア」や「プログラマー」を指すものと思ってください。) がしかし、その方があまりにもエンジニアのことを知らなかったり・誤解があったりするために話が噛み合わず、 お互いにとって全く有意義でない時間を過ごしたままお帰りいただくことがあります。 「せっかくご足労頂いたのに…」 と，応じる側の私としてもやりきれない思いになることがよくあったので、本日は「エンジニアを仲間にするための第一歩」として、これだけは知っておいていただきたいということ3つを、実

この記事は CAMPHOR- Advent Calendar 2016 の1日目の記事です. Python の WSGI ミドルウェアとして使えるラインプロファイラ wsgi_lineprof を作成しました. wsgi_lineprof は Django や Pyramid, Flask, Bottle などの WSGI 互換のアプリケーションやフレームワークと組み合わせて利用できるようになっています. 背景 Web アプリケーションを作成する際に, ボトルネックとなっている部分を発見するために, ラインプロファイラは有用です. Ruby での WSGI に対応する Rack には rack-lineprof というライブラリがあり, Rack の middleware として簡単にラインプロファイラを利用できます. ISUCON の参加記事等を見ていると, Ruby ユーザーはこのライ