たにしきんぐダム

プログラミングやったりゲームしてます

月報 2021/06

東工大大岡山キャンパス たまーに気分転換に大学図書館にチャリで行ったりしている。授業とか研究室のゼミとかは相変わらずオンライン、早くキャンパスライフってやつエンジョイしたい。 TaPL 15章読みました、次は23章だよ 小森めとさんにはまってる 小森め…

月報 2021/05

scrapbox.io GSoC への proposal が accept されました Scala Center | Google Summer of Code、6月2週から約2ヶ月半はお金をいただきながらOSSやらせていただきます TaPL だいぶ面白くなってきた、11章の後 subtyping とか recursive type からいきなり面白…

2021/4

2021/4 から日記を箇条書きで書くようにしてみた、これ以上不可が大きいと続かないけど、これくらいならなんとか続いている scrapbox.io 大学院に入学したよ 研究室のセミナーでTaPLの輪講してるよ、11章までやった 証明などのが解がふわっとしてるところが…

導出に関する帰納法と項に関する構造的帰納法についてのメモ

最近TaPLを読んでいるのだけれど、いかんせん構造的帰納法に不慣れなもので、導出に関する帰納法による証明を読んだり書いたりしているうちに 自分が何をしているのか 何を示すことで命題を証明しようとしているのか そもそも項に関する帰納法と導出に関する…

東京工業大学・情報理工学院(修士)に入学した

2017年4月から新卒で株式会社はてなに入社してフルタイムでWebアプリケーションエンジニアとして働いたのですが、2021年4月に東京工業大学情報理工学院 数理計算科学系の修士課程に入学しました。しばらくは貯金とアルバイトと学生支援機構からのローンで生…

Canva でお絵描きしてみたよ

今度研究会で使えそうなクソコラも作れる https://www.canva.com/ja_jp/learn/hatena_canva/

Scala3 Interactive Compiler API で遊んでみる

この記事は Scala Advent Calendar 2020 - Qiita 18日目の記事です。 完全に自分用のメモなのですが、コンパイラ周辺ツールの Scala3 対応に備えて、dotty の interactive compiler API の使い方を一部学んでみたのでその学習メモを残しておく。 今回試した…

Scala の開発環境構築 2021

特に意味はないけどおしゃれかなと思って貼ったスクショ Scala Advent Calendar 2020 - Qiita 3日目です ここ2,3年の間にScalaの開発ツールチェーンは進化を続けていて、Scalaの開発体験はめちゃくちゃ良くなってきています。例えば、数年前だと IDEは基本的…

Coursera / Sequence Models (week2) 受講メモ (Natural Language Processing & Word Embeddings)

Deep Learning Specialization 5つ目のコース www.coursera.org Coursera / Neural Networks and Deep Learning 受講メモ - たにしきんぐダム Coursera / Improving Deep Neural Networks: Hyperparameter tuning, Regularization and Optimization 受講メモ…

Coursera / Sequential Model (week1) 受講メモ (RNN/LSTM/GRU/BiRNN/DeepRNN)

Deep Learning Specialization 5つ目のコース www.coursera.org Coursera / Neural Networks and Deep Learning 受講メモ - たにしきんぐダム Coursera / Improving Deep Neural Networks: Hyperparameter tuning, Regularization and Optimization 受講メモ…

Coursera / Structuring Machine Learning Projects 受講メモ

Deep Learning Specialization 3つ目のコース www.coursera.org Coursera / Neural Networks and Deep Learning 受講メモ - たにしきんぐダム Coursera / Improving Deep Neural Networks: Hyperparameter tuning, Regularization and Optimization 受講メモ…

Coursera / Improving Deep Neural Networks: Hyperparameter tuning, Regularization and Optimization 受講メモ

データの正規化、様々な正則化手法、gradient descent with momentum や Adam などによる学習の高速化、batch-normalization、gradient checking、ハイパーパラメータチューニングの基本的な手法など。振り返ってみるとかなり盛り沢山な内容だった。jupyter …

Things happening before start coding with Metals ~behind the curtain of daily coding~ #ScalaTokyo でLTしました

Scala Tokyo 2020/09/25 開催の scala.tokyo で Things happening before start coding with Metals ~behind the curtain of daily coding~ という気取ったタイトルのLT(10分)をしました。 イベント主催の皆さん、21時を回っていたのに僕の発表を最後まで聞…

京都から神奈川へ引っ越し

2020年9月19日に京都符京都市を離れ神奈川県川崎市に引っ越します。(入居は20日) 京都には京都大学入学時に福岡から越して来て、そのまま京都で就職し、合計で7年半過ごしたことになる。 主な引っ越し理由はこれです。アルバイトと貯金と奨学金(未定)でなん…

Coursera / Neural Networks and Deep Learning 受講メモ

Deep Learning を勉強しようと思い、Coursera の Deep Learning Specialization を受講し始めた。 ある手法がうまくいく/うまくいかないことのイメージを説明してくれたり、実装に際してのtips and tricksも教えてくれるのが良い。 解析や線形代数を知らない…

ローザンヌ旅行記

2019年の6月に ScalaDays 2019 参加のためにスイスのローザンヌに一週間ほど滞在しました。カンファレンスレポートブログは書いたのだけれど、個人的な旅行記は書いてなかった。 developer.hatenastaff.com ざっくりLausannneに一週間滞在した感想 (物価が高…

プレーンな Aho-Corasick を実装したけどそんなに早くなかった

TL;DR TypeScript で Aho-Corasick を実装しました https://github.com/tanishiking/aho-corasick-js ベンチマークとってみたところだいたいのケースで普通のTrieで複数パターンマッチするほうが早かった https://github.com/tanishiking/aho-corasick-bench…

MtG Arena で学ぶ英語 - mono black aggro?

一年くらい前からMtG Arenaで遊んでいます、今は日本語UIあるのだけれど、いつ海外でデュエリストに襲われても意思疎通ができるように英語UIで英語のカード名に慣れようと、英語UIで遊び続けています。MtG、意外と知らない英単語たくさん出てくるので勉強に…

2019年12月と2020年1月のOSS活動記

レビュー結構やってました 英会話とか仕事がちょっと忙しかった metals結構わかってきた。 scalameta/metals #1174 Sort auto-completed exhaustive match'es by declaration order sealed abstract class Test case object Foo extends Test case object Ba…

SOUTH PARK S23E07 S23E08 (英語学習メモ)

S23E07 Board Girls southpark.cc.com 最近よく話題になるF2Mによる女性向け競技会への出場に関する話。サウスパーク、ジェンダー論の話が結構多いので勉強になるな。 The Cissy - Full Episode - Season 18 - Ep 03 | South Park Studios もめちゃ良かった…

SOUTH PARK S23E05 S23E06 (英語学習メモ)

S23E05 Tegridy Farms Halloween Special southpark.cc.com ハロウィン回 What you are seeing here are original knots which were joining the main pieces of the kufu boat. 古代エジプトの博物館の職員による解説 knot 紐 / 結び目 / 絆 (a marriage kn…

SOUTH PARK S23E03 S23E04 (英語学習メモ)

S23E03 SHOTS! southpark.cc.com anti-vaccine に対する風刺がメイン? Vaccines: Low trust in vaccination 'a global crisis' - BBC News Eric, it's just a little prick 予防接種の注射を嫌がるカートマン prick ちょっとちくっとする PRICK | meaning in…

SOUTH PARK S23E01 S23E02 (英語学習メモ)

S23E01 Mexican Joker southpark.cc.com アメリカのメキシコからの不法移民の子供を収容するdetention center(少年院)で、移民の子どもたちが刑務所のような過酷な仕打ちを受けているという社会問題に焦点を当てている。 ちょうどJokerが流行ったタイミング…

SOUTH PARK S22E08 - S22E10 (英語学習メモ)

S22E08 Buddha Box southpark.cc.com https://southpark.cc.com/full-episodes/s22e08-buddha-box より I want to be enlightened like the Buddha, but I've got these fucking kids. enlightened Enlightened | Definition of Enlightened by Lexico 悟り…

SOUTH PARK S22E06 S22E07 (英語学習メモ)

Season22Episode6と7はManBearPigとAlGoreの話 S22E06 Time To Get Cereal southpark.cc.com Of course it's a school shooting. It's cut and dry. Let's just get this over with so I can go home. season22になってからschool shootingが毎話のように起…

SOUTH PARK S22E03 - S22E05 (英語学習メモ)

S22E03 The Problem with a Poo southpark.cc.com She believes it is time that we all as a school finally discussed in vitro fertilization PC校長との間に子供ができたことを頑なに認めようとしないStrong Woman 副校長 in vitro fertilization (IVF) …

SOUTH PARK S22E01 S22E02 (英語学習メモ)

S22E01 Dead Kids southpark.cc.com アメリカのSchool shootingについて取り上げた内容。Sharonだけは大事にとらえているけれど、何故かSouthParkの人々はSchool Shootingが起きててもだから何?という反応。結構面白かった。 They're the denominators, so t…

SOUTH PARK S21E08 ~ E10 (英語学習メモ)

これでseason21見終わってしまった。 S21E08 Moss Piglets southpark.cc.com NFLに関するジョークはあまり理解できなかったけど、Heidiの変貌は衝撃的な面白い話だった。 We're gonna be up to ears in pussy Nathanが特別クラスの科学コンペで優勝してモテ…

SOUTH PARK S21E06 S21E07 (英語学習メモ)

S21E06とS21E07は特に強い社会風刺テーマは無さそう S21E06 Sons A Witches southpark.cc.com Come on, all the other guy's wives aren't being bitchy about it ハロウィン周辺に毎日のように魔女のコスプレをして他の夫たちと共に山頂で酒を飲みに行くラ…

ポーランド旅行記

2019年10月の初め頃にSphere.itという技術カンファレンスに参加するために1週間ポーランドのKrakowに滞在しました。 sphere.it Krakow、街はきれいで人は親切だし物価はめちゃくちゃ安いし治安も良いし英語も結構通じるので、数ヶ月単位でゆったりするのに良…