sky’s 雑記

主にAndroidとサーバーサイドの技術について記事を書きます

大学院

関数プログラミングと形式手法の振り返り

本日で春先から受講していたJAISTの授業I217関数プログラミングを終えました。 経緯としてはSET(Software Engineer in Test)界隈で形式手法が取り上げられることがあり、自分の業務守備範囲からそう遠くない領域だったため興味を持ち受講しました。今回学ぶ…

確率的データ構造ブルームフィルタについて

Scalable Packet Classification on FPGA - IEEE Journals & Magazine 論文を読んでいて初見のデータ構造があったので記事にしておく、wikiのほうが確かだし詳しいので自分用のまとめです。 内容はルーターのようなネットワーク機器に実装されるパケットクラ…

JAIST社会人コース特別選抜合格にあたり

北陸先端科学技術大学院大学合格していた。 面接直後の所感も以下の記事に残していて、手応えとしては普段の仕事から自分の至らなさに気付かされるレベルで色々とフィードバックを受けて正直全然手応えはなかった。この歳で改めて体系的に勉強する機会をいた…

院試の振り返りと過程で学んだこと

今日でJAIST社会人コース特別選抜の院試の面接が終わったので過程で学んだことをまとめておく。 総括すると普段の仕事への取り組み方から改めて考えさせられることが多く非常に良い経験だった。大学院で学ぶにしろ学ばないにしろ以下の点を意識して普段から…