Posts by Tags

anime

論文を書かねばならない

更新日時:

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

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

更新日時:

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

antbook

atcoder

AtCoder Grand Contest 026

更新日時:

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

computer

VSCode に乗り換える

更新日時:

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

自動提出機での TLE の処理

更新日時:

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

/var/folders/ で始まる warning

更新日時:

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

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

更新日時:

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

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

更新日時:

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

game

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

更新日時:

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

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

更新日時:

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

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

更新日時:

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

Nintendo Switch 初日の感想

更新日時:

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

gcj

graduate-school

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

更新日時:

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

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

更新日時:

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

handai

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

更新日時:

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

high-school

高校教諭の底辺 (1)

更新日時:

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

ks1-2016-qma

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

更新日時:

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

ks1-2017-qma

出席クイズ Q and A

更新日時:

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

ks1-ruby

ks1-ruby-download

ks1-ruby-forecast

ks2-2015-qma

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

更新日時:

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

ks2-2016

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

更新日時:

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

ks2-2016-qma

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

更新日時:

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

real-analysis-exercise-1-2018

ruby

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

更新日時:

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

school-counselor

検査の結果

更新日時:

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

アニメを見ること、人の気持ちを考えること

更新日時:

スクールカウンセラーさんに指摘されたことを、どこかに書き留めておいたほうがいいと思った。どうやら私の身近な人は、この日記を読んでいることが多い。ありがたいことである。そういう人たちと、私の傾向を共有しておくのは、多分お互いの利益になると思う。だから、支障のないことはここに書き留めておく。