Posts by Category

contest

CADDi 2018

更新日時:

CADDi 2018

AtCoder Grand Contest 026

更新日時:

ABCD は完成。 E は完了はしていないが AC はした。

diary

プログラミングが好きな理由

更新日時:

この記事はただの感想です。科学的な根拠もありません。ただ、今考えていることを書いておこうと思います。

数学と「社会」への雑感

更新日時:

Twitter に書いた後、これ日記に書くべきだったわと思っています。加筆して整理してこちらに載せておきます。

数学を専攻するならどの大学がいいか

更新日時:

この記事の目的は、学部レベルの数学を専攻すると決めた上で、これから数年、どの大学へ入学するかを検討する材料を読者に提供することである。数学科という学部はそもそもなぜカネを払って進学しなくてはならないのかを述べる。教員の状態・流動性などについて述べ、私の中での結論を以下に書く。

すなえもんクイズが目指すもの

更新日時:

この記事では、すなえもんクイズをどういう運営方針でやっているのかということを述べておく。すなえもんクイズは、第一義には私の勉強が一番の目的であるが、その目的意識は共有しておきたい。

競技プログラミングと言語について

更新日時:

最近同じようなことが何回も起こっていて、その度に同じことを Twitter で表明するのは時間の無駄だと思う。 Twitter で書いたことをまとめ直してここに書いておきます。

インターネットで公開する情報

更新日時:

数理科学研究科の先生とかがこのアカウントを監視していてそれを少し緩和するために 2 次元絵リツートしている、ということになっていますが、しかし、あの人たちに見られても別に構わんです。私は数学の業界にも今はいないし、今は AtCoder などのゲームやっているだけなので別に見られて困ることはない。

天才の再定義、若手数学者の分化

更新日時:

このエントリでは、数学の天才とは何かということと、若手数学者の二極化について述べておきたいと思う。この事象を理解する鍵となるのは、現代の数学が既に天才を超越しているという事実である。このことから説き起こしておきたい。

受験生は試験で点数を取れ

更新日時:

この記事は、いわゆる受験生向けに書いています。 もう受験生を終えた人は、この記事を読むのは時間の無駄です。 1 秒でも惜しんで自分の仕事をするなり、休んで英気を養うなり、暇なら英単語を覚えるなりしなさい。私の考えに賛同できない箇所があったとしてもいちいち教えていただかなくて結構です。自分の信じる道を行きなさい。

要旨要約問題の「解法」について

更新日時:

私はこの前から「東大英語要旨要約問題の私の解答」というのを書いている。要約問題については、画一的な方法論はない。だから具体的な過去問に対して解答を示すことにしている。もちろん私はただ数学を専攻しただけだから、英語の訓練を積んでいない。そもそも先生になるためには英語力が足りていない。特に受験生の指導は絶対できない。...

東大英語要旨要約問題の私の解答

更新日時:

東大の学部入試の英語の 1A は毎年要旨要約問題である。私の英語の勉強のため、解答を書きここに公開することにする。採点ポイントや感想も書くが、もちろん全く無保証である。

東大学部入試の難易度と、受験生の行動

更新日時:

幸いにして(?)今の私は東大、それどころかアカデミアにすら所属していない。そんな状態になるのは、後から振り返ると今しかない可能性もあるから、ここに東大の学部入試について言っておきたいことを書いておきます。

新卒採用・既卒採用・アカデミアの採用

更新日時:

今の私はおそらく人生で一番、新卒採用・既卒採用・アカデミアの採用を公平に比べられる立場にあると思う。いずれの採用の可能性もあり、その採用活動も経験もしており、なおかつ現在も就職活動中である。少なくとも、いずれかの立場にしか経験がない人がテキトウなことをいうよりかは、まともに比べられると思う。これから私は新卒採用・...

縁故採用について

更新日時:

我々は良くも悪くも縁故採用しか方法がないです。

強い人を増やすには

更新日時:

Twitter に書いておいたことを整理してこちらに書いておきます。

最先端について

更新日時:

私は「最先端が作られる瞬間」というのを、何度か目撃している人だと思う。特にビデオゲームはプレイヤーとして色々やってきた。一応数学も最先端を覗いたことはある。その過程で見てきて私が思うことで、かつ、多くの人から同意が得られていなそうなことを、この記事では書きたい。

シス単全部覚えたい

更新日時:

内容の要約:もう 10 年以上放置してきたシス単を 3 ヶ月かけて全部覚えることにしようと思う。次は鉄壁をやりたい。

怒るまでやめない人

更新日時:

最近は、関係各所から返事を待つ時間が多い。ゆえに、少し余裕も出てきたので、書き溜めてきた記事を上げることが多い。ここ最近は胸糞悪くなる記事が多いので、胸糞悪くなる記事をまた上げることにする。

高校のある先生についての回想

更新日時:

昨日の記事のちょっと補足。私が基礎的な数学を理解していない数学「指導者」(中学、高校、大学問わず)の人に日記の中で時々辛辣な言葉を並べる。これは私の性格の悪さを意味しているといえばそうかもしれないが、それ以上に、意識的に言葉を選んで、厳しい言葉を並べることにしている。

一次分数変換の概説

更新日時:

昨日も書いた通り、 2019 年度の九州大学の入試問題でモロに一次分数変換が問われていて、受験関係者の間でも誤答が連発しているらしい。大学で複素解析をまともに勉強したことがあればこの問題は一瞬で答えがわかる。間違いようがない。もちろん、普通の受験生は普通に解くしかないのだが、指導者の側でこれを間違えるのはありえな...

私が持つ疾患について

更新日時:

私を雇う段階で、疾患についてよく聞かれます。書いておいたほうがお互いのためだろうから書いておきます。

職員さんについて

更新日時:

最近は Twitter もこの日記も拡散されやすい。善意のあるいい記事は、沢山の人に読まれて欲しいが、私は知名度が欲しいわけではない。基本的にはそっとしておいてもらえるとありがたい(というか知名度なんていらないから 2019 年 4 月以降の職をください)。私が受けた不幸を繰り返さないために時々嫌なことも書くかも...

私の修士課程院試の記録 (口頭試問編)

更新日時:

この記事では、私が 2013 年度の東京大学大学院数理科学研究科の修士課程の院試を受けた 翌日に書いた記録をそのまま公開する 。以下、多少の整形はするが、 当時の文章のまま 記載する。

私の修士課程院試の記録 (筆記試験編)

更新日時:

この記事では、私が 2013 年度の東京大学大学院数理科学研究科の修士課程の院試を受けた 翌日に書いた記録をそのまま公開する 。

MathJax と jekyll の兼ね合い

更新日時:

色々ポイントがあるのだが、この機会に整理しておく。私の環境なので、他の人は違うかもしれません。

東大の学部入試の英語について

更新日時:

この記事では、私が 10 年前に受けた東大の学部入試に向けた英語の指導についてメモをする。以前河合塾本郷校で受けた英語の指導について触れた。その続きだと思ってほしい。

修了後の数学との付き合い方がわからない

更新日時:

私は、修了後の数学との付き合い方がわからない。どうすべきかがわからない。必ず今後も付き合っていかないといけない対象なのだが、どうやって実力を維持していくべきかがわからない。わからない理由を書いておく。

来年度の解析学 IV についての提言

更新日時:

来年度、平成 31 年度、つまり新元号元年度の解析学 IV (ルベーグ積分論)の講義について、私が提言したいことを述べる。

河合塾本郷校に行けて本当に良かった

更新日時:

今日は少しのどの調子が良くない。昨晩寒かったせいだろう。外出は控え、ポエムでも読むことにする。ポエムを読むというのは競技プログラミング業界で誰かが言い出した俗語で、過去を振り返ることを指す。今回は私が幸運にも河合塾本郷校を選べた理由と、そこで高沢先生に指導してもらえて本当に良かったということを書こうと思う。

Twitter 公開アカウントの運用の原則

更新日時:

先日から Twitter 公開アカウント @kazune_lab をはじめました。少し運用してみて、 自分のために運用の原則をまとめておかないといけない と思い至るようになりました。今後も変わり得ると思いますが、考えが変わった際は記述を変更します。

忘れることについて

更新日時:

いつも通りのことであるが、私が研究や勉強について書く場合は、数学を意図している。他の分野では事情が異なるかもしれない。また私の個人的意見であり、一切の記述は無保証である。

博士号審査過程の公開範囲

更新日時:

近年、剽窃や不正により博士号の妥当性がしばしば社会問題になっていることを鑑み、私の博士論文の審査過程は、私が可能な限り記録・公開することにします。ただし他者の権利を侵害する可能性がある場合は、その限りではありません。— Kazune Takahashi (disclosed) (@kazune_lab...

カネが嫌いな人はどう生きていけばいいのか (2)

更新日時:

今まで cis さんという強烈な個人投資家を例に挙げていたのだが、私の見立てでは「カネが好き」は、ほとんどみんなそうである。以下では、数学の大学教員と、経営者について述べるが、この人たちもみんなカネが好きである点では一致している。ただ cis さんのようなカネを増やす特異な才能はない点だけが違う。そういうことを述...

カネが嫌いな人はどう生きていけばいいのか (1)

更新日時:

この記事では、私が最近考えていることを述べる。どうやら私はカネが嫌いらしいということと、その私がどうやって生きていけばいいのかという点について、思考したことを書いていきたいと思っている。

Netflix でアニメを英語字幕で見ることについてメモ

更新日時:

私は勉強そのものが好きだ。特に、専門数学の勉強、コンテストの勉強、英語の勉強が好きである。最近は寝る前には英語の勉強をするようにしているが、寝る前だけでなく、アニメ見るときにも英語字幕を使うことで勉強ができることに気づいた。 Netflix で英語字幕を使って勉強することについては、専門家によるアドバイスがあれば...

私が公言して良いことと悪いこと

更新日時:

この記事は、要するに私が毎日アストルフォかわいいと公言する理由と、公言してはならないものとその理由をまとめたものである。

「数学の修得には時間がかかる」ことの概説

更新日時:

「数学科の大学院に進むとはどういうことか?」という記事が出回ってきた。この記事自体は面白い例えを用いていいことを書いていると思う。具体的には、数学の大学院に行くということは、数学を理解して、新しい問題を解くことだということが、例え話を交えて書かれている。この事実自体は否定はしない。

私の使う言語について

更新日時:

この記事を要約すると「教養学部前期課程の講義は Ruby で行われる(2017 年度まで)から、東大の学生は Ruby が初対面の計算機言語となる人は多く、そのまま Ruby を使い続ける人も多い。そして私もそうである」ということである。

プレイヤーとして (1)

更新日時:

Twitter で書いた内容を加筆して転載します。大幅に加筆したので 2 つに分けます。

コンテストの解答と記事の push について

更新日時:

私は AtCoder をはじめとするプログラミングコンテストの解答を GitHub 上で公開しています。また、この日記は github-pages 上で serve されており、私の復習用の記事を書いています。これらについては以下のルールで運用されています。

睡眠薬を飲んだあと

更新日時:

Twitter に書いたらそこそこ好評だった。公開できない内容を含んでいないので、こちらに加筆して転載しておく。

Working Experiences

更新日時:

This article tells you what I worked for. You can check my resume here.

母方の祖母について

更新日時:

母方の祖母が他界してから 2 年ほど経過した。書き残しておきたいと思う。最近忙しくて長い文章を書いていなくて、リハビリのつもりで書いておく。

「やらないこと」の反省

更新日時:

以前、やらないことというエントリを書いた。うまくいくところとうまくいかないところがあったので反省文を書く。

AtCoder の何が楽しいか (やらない人向け記事)

更新日時:

最近「 AtCoder のどこが面白いのですか」と聞かれることがある。反語ではなく疑問で聞かれる。私もとっさには答えられないので、この記事にまとめておく。できるだけ簡潔に書いてみる。

AtCoder 自動提出機 正規版から beta へ移行する際にしたこと

更新日時:

自分でタイトルを書いていて頭おかしいと思った。正規版から beta 版へ移行するとはどういうこと。しかしもう AtCoder としては「正規版がダメなら beta 版で。 beta 版が動いているならそれでいいじゃない」という姿勢らしい。

やらないこと

更新日時:

時間を作るために、やらないこと

復習には時間がかかる

更新日時:

ここ最近 AtCoder のコンテストは 1 週間に 1 回以上のペースで開催されているような気がする。もし毎週開催することを社是としているなら、僭越ながら、いちユーザーとして別にそんなことはなくていいと言いたいです。もちろん毎週開催してもユーザーとしては構わないけれども。今と同じように良問を出題し judge ...

問題を考え、答えを見るまでの時間

更新日時:

次のようなシチュエーションがあるとする。ここに問題があるとする。その問題は解けば人類で初という難問ではなく、解いた人が複数いるとする。答えは、検索すれば出てくるか、またはある本に載っていることまで知っているとする。この時、その問題をどこまで考え続けることが一番良いのだろうか。

検査の結果

更新日時:

書くかどうか迷ったけれども、書くことにした。

薬の副作用

更新日時:

薬の副作用。とにかく寝ることだ。朝起きると、朝 10 時を過ぎていることも多い。今日はそこから朝ごはんを食べたものの、薬を飲んでまた寝てしまった。そこから目覚めたのは 15 時。正しい寝方をしていなかったせいで 18 時頃まで体の自由が効かず、仕方ないから iPad で論文草稿を見直していた。こんな状態でもピリオ...

コンテスト前に準備すること (備忘録として)

更新日時:

自分が AtCoder の contestant であるということは、すなわち毎週毎週対局のある棋士と同様とも捉えらよう。 最善の環境を毎回整えるべき だ。メモしないと忘れてしまうので、ここに書いておく。

計算機でない専攻の人の、コンテストとの付き合い方

更新日時:

ゲームAI系コンテスト、評価関数とか方針1個でラッキーパンチ的なのが入ることは割とよくあるので、1回1位を取った=強い、というわけではない。この人はコドゲの方で実績あるっぽいから確実に強いけど。— chokudai(高橋 直大) (@chokudai) 2018年3月1日

論文を書かねばならない

更新日時:

別にアニメの感想を書くつもりはないんだけど、友達にもこの悩み?は話せないので、日記に書いておく。

VSCode に乗り換える

更新日時:

Emacs から VSCode に乗り換えようかなと思っている。

阪大の出題ミスについて、個人的に思うこと (1)

更新日時:

最初は阪大の出題ミスについてまとめ、次に入試問題と大学と予備校の関係について述べ、最後は自分の話をする。そういう構成になった。分量が多いので分けることにする。

やりたいゲーム

更新日時:

今年やり残しがあるとすれば、たくさんのゲームだ。『Fate/Grand Order』は最後までやりたかった。コンシューマーでも『アサシンクリード オリジンズ』『ゼノブレイド 2』『スーパーマリオ オデッセイ』だけはやり切りたかった。いやはや 500 時間は必要ですね。

自動提出機での TLE の処理

更新日時:

前から公言している通り、私は AtCoder のサンプルチェックから提出を自動化している。 手元でサンプルチェックをするわけであるが、当然、ときには TLE のコードを書いてしまう。 TLE のコードを書くと、どこかで中断する必要がある。 その時の処理をメモしておく。

CODE THANKS FESTIVAL 2017 出場決定

更新日時:

こんにちは。 株式会社リクルートホールディングス プログラミングコンテスト担当です。 この度は、 CODE FESTIVAL 2017 の予選にご参加いただき、ありがとうございました。 高橋さんは、予選において優秀な結果を残されましたので、 CODE THANKS FESTIVAL にぜひご参加いただ...

JIP Specially Selected Paper

更新日時:

我々の書いた論文が、情報処理学会の Specially Selected Paper に選出された。

/var/folders/ で始まる warning

更新日時:

AtCoder の提出に合わせて GCC 5.4.1 を用いているが、うちの計算機では毎回 warning がでる。

高校教諭の底辺 (1)

更新日時:

学生だろうと教員だろうと、日本トップの進学校出身の方の中には、高校の数学の先生=数学を理解している人=生徒を育てる人と思い込んでいる方が私の周りに一部いらっしゃるようだ。そして教育業界に悪いことをしているのは予備校の講師であると信じている。

この日記の新しいこと

更新日時:

AtCoder のコンテストの記録を書くことにし、サイト内検索機能をつけました。

新しい Mac に移行する際にしたこと

更新日時:

基本的には移行アシスタントに従っていればほぼそのまま移行される。しかし面倒なことややり残したこともあるようなのでメモしておく。

スクスト脱出ゲームの解答・解説

更新日時:

スクールガールストライカーズの 2017 年 7 月の新コスイベントは「謎解きサマーリゾート」脱出ゲームだった。脱出ゲームというものの、実際はヒントから文字列を推察するゲームだった。色々なところに答えが書かれているだろうけど、自分も書き留めておきたいと思う。以下ネタバレ。

「優秀な」人が「生き残る」

更新日時:

某君のtweetに引用されていたポスドクの現状に関する文章ですが、大学院受験で素粒子論及び理論物理全般に応募する人は一読をお勧めします。 https://t.co/Jdr2D1qlNS— o-o⇒o-o-o (@yujitach) 2017年6月20日

問題の認識、強さのありか

更新日時:

認識というのは不思議なもので、答えがわからない間は大変難しいことだと思えたものでも、一度答えがわかると、これは当たり前だと思うようになる。

計算数学の TA に求められること

更新日時:

計算数学の場合は、事前に多くの知識が求められることはまずない。実際、募集要項を読めば誰でも Welcome であるという。しかし、私の個人的な見方では、以下の要素は事実上求められているように思う。

1・2 年の TA をやりたくない理由

更新日時:

数理科学研究科に在学して 5 年目である。私は毎学期 TA をやってきた。今までやってきた TA は、計算数学 I・II (計算機実習) と 解析学特別演習 II (偏微分方程式) である。しかし、普通、 TA と言ったら、多くは、教養学部 1・2 年の演習である。これを今までやってこなかったのには理由がある。

スーパーメトロイド オープニングの日本語訳

更新日時:

少し難しい英語が使われている。作中では字幕が出るものの、英語の内容とは必ずしも一致していない。調べたところ日本語訳を書いているサイトはなかった。メモしておく。

虐待の後遺症

更新日時:

以前も少し書いたが、私は上京前、父親から虐待を受け続けてきた。ほぼ毎日、近所中に響く声で怒鳴られ、時には暴力を振るわれ、物を壊され、投げられた。人とは思えない仕打ちをされてきた。具体的なことは、私が生きているうちにはどこかに書こうと思っている。思い出すだけで辛いので、なかなか書けない。今まで何回か、ここではない場...

アニメの「好み」について

更新日時:

結論から言うと、私には、明確なアニメの好みというものはないと思う。だからこの記事は私の好みを書いたものではない。アニメの「好み」について、述べたい。

数学の学生にとって、実装は重要か

更新日時:

答えの出ない、人によって意見が異なる内容について日記に書くのは不毛な気もするが、 最近あったことを書き止めておきたいので、この記事を書く。

どなたを指導教員にするか (1)

更新日時:

先輩方の進路を見ていて、どなたを指導教員にするかはその人の将来と相関性があるように、なんとなく思う。 巷には指導教員の選び方が書かれた記事が沢山あるし、そちらが参考になるだろう。 しかし、現役の研究者だと立場上書けない事が多いからだろう。 私は私の記事で、個人的な視点で書いておこうと思う。私は二度と大学院に通わな...

「子供をバカにしてはいけない」

更新日時:

昔、コメディアンの松本人志氏が、任天堂の宮本茂氏と対談した際に、宮本氏が「子供をバカにしてはいけない」と言っていた。

出席クイズ Q and A

更新日時:

出席サーバ(出席クイズ) Quiz Magic Attendance については、口頭での説明は最低限しかできません。詳細なルールや出席サーバの機能は出席管理システムの説明に書いていますが、受講生から出てきた質問にはこちらで答えたいと思います。

2016 年度 計算数学 II TA の記録 その 2

更新日時:

前回の続きである。おそらくこれが、人生で最初で最後の、私が人に指導した経験だろうと思う。 前半: Ruby の基礎固め 具体的には、 『たのしい Ruby』を読んで、プログラムを写経してもらう。(第 7 章「メソッド」あたりまで) AtCoder の過去問を選んで、それを解いてもらう。 をした...

Nintendo Switch 初日の感想

更新日時:

今日は Nintendo Switch の発売日であった。早速買って、ゲームをプレイした。 初日の感想を書く。

名刺について

更新日時:

この業界にいる者?として、名刺を持つ意味について、愚見を述べる。

2016 年度 A セメスター 計算数学 II 出席クイズの解説

更新日時:

計算数学の関係者の Slack で、出題後、解説を書いてきた。 その解説は実習資料集にはさすがに書けなかった。 しかし、このサイトは TA の個人サイトだから公開してもよかろう。 だから、公開する。基本的には Slack に書いたそのままである。

最近聞くサントラ

更新日時:

最近は特に、院生室は世間話をする部屋になりつつあるようだ。 数学をやるなら、他の部屋に行くことができる。 しかし、計算機プログラミングをするなら、院生室でやるしかない。 幸いなことに、計算機プログラミングは考えている時間が 100 %ではない。 プログラムを実際に書く、作業時間がある。 だから作業時間では、ヘッド...

Code Festival 2016 参加記

更新日時:

Code Festival 2016 に参加しました。 1 日目 間に合うはずの時間に家を出たのだが、 新橋からベルサール汐留への行き方がわからず、遠回りをし、 結局遅刻することに。お電話がかかってくる。交通費精算等をやってもらう。 本戦開始時刻には間に合う。本戦スタート後に MBA に電源が来ていないこと...

Ruby で Google カレンダー

更新日時:

過去「計算数学実習資料集」に私が書いたものを体裁を整えて転載します。

Ruby 問題集

更新日時:

過去「計算数学実習資料集」に私が書いたものを体裁を整えて転載します。

出席クイズ「出題のコツ」

更新日時:

蛇足ながら、どのような方針で出題をしているかを書きます。 過去問は1人で作ってきましたし、今でもスタッフは私 1 人だけです。しんどいです。 TA の後継者不足が指摘されています。出題のコツを共有しておきたいと思います。

2015年度 Aセメスター 出席クイズ講評

更新日時:

出席クイズの狙いの1つとして、検索技術の向上があります。興味のないことであっても検索し、情報の真偽を見抜く技術は、大切だと思われます。今学期は、意識的に、毎回易しい問題を出題していました。難しいことができるようになるには、結局のところ、基礎演習を積み重ねるのが近道です。

material