お久しぶりです、jgvt5tiです。 今回は英検に落ちたという話です。まあスピーキングの能力が足りないので真っ当に落ちたというだけの話ですが、経緯とかお気持ちとかを語りたいと思います(ブログなのでね) 試験結果 まず試験結果はこんな感じです。 一次試験…

夏休みの三週間(8月末から9月の頭まで)の期間にはてなリモートインターンシップに参加したので参加記を書こうと思います。 講義パート インターンの最初の4日間は講義パートでした。講義パートではそれぞれ1時間ほどの講義とマイクロサービスを実装する課題…

完成したものは僕のGitHub Pagesで公開しています。 連言やカットなどの機能は省略したのでほぼ導出原理(の証明の探索)そのままになっています。 Prologの文法 Prologのプログラムはホーン節と呼ばれる述語論理の論理式の列から成ります。さらにホーン節は仮…

今更ですが大学院入試に合格した話です。自分自身いろんな人の体験記を参考にしてたので、後世の誰かのために対策とか軽く振り返ろうと思います。 書類選考 情報理工学系研究科では出願時に研究計画書とTOEFL iBTのスコア提出があり、そこで書類選考(足切り…

pdfを書きました．龍田「型理論」の9章を行間を埋めつつ，これ単体で完結するようにまとめたものです． drive.google.com