Posts by Tags

anime

論文を書かねばならない

Updated:

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

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

Updated:

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

antbook

atcoder

CADDi 2018

Updated:

CADDi 2018

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

Updated:

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

computer

My Twitter bots on ConoHa

Updated:

This entry is written for ConoHa Advent Calendar 2019. I’m happy to join it.

自動提出機での TLE の処理

Updated:

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

/var/folders/ で始まる warning

Updated:

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

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

Updated:

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

english

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

Updated:

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

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

Updated:

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

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

Updated:

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

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

Updated:

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

game

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

Updated:

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

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

Updated:

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

Nintendo Switch 初日の感想

Updated:

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

gcj

high-school

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

Updated:

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

高校教諭の底辺 (1)

Updated:

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

jekyll

MathJax と jekyll の兼ね合い

Updated:

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

ks1-2016-qma

ks1-2017-qma

出席クイズ Q and A

Updated:

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

ks1-ruby

ks1-ruby-download

ks1-ruby-forecast

ks2-2015-qma

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

Updated:

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

ks2-2016

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

Updated:

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

Ruby で Google カレンダー

Updated:

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

Ruby 問題集

Updated:

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

ks2-2016-qma

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

Updated:

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

ph-d-judge

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

Updated:

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

real-analysis-exercise-1-2018

ruby

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

Updated:

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