この記事は、TSG Advent Calendar 2017 - Adventar の7日目の記事として書かれました。昨日はmoratorium08さんの moraprogramming.hateblo.jp でした。このあいだ CBCTF であったnumonlyのwriteupです。 問題概要 int check(char* s,int ls){ for(int i=0;i

チーム IS17erのえる氏となたがわ氏と一緒にチームTBDとして出ました。 (わりと急増チームで、チーム名は to be determined の略) (1年の時はチームtekitoで出てそれなりにいい順位だったので、 チーム名は雑に決めた方がいい成績がとれるというジンクスがあ…

8章 型付け関係 NBに対して型をつけてみる。 型付け関係の逆転(逆転補題)(生成補題) 項を型付けるためのアルゴリズムを与える。(部分型とかが入ってくるとこれが大変になる…かな？) 進行性 項が正しく型付けられているなら、正規形->値(標準形)が成り立つ。 …

2章 数学的準備 用語の定義、もしくは集合とか関係とか列とかについて。二項関係について慣れていれば大丈夫そう。 3章 型無し算術式 boolっぽいやつとnatっぽいやつだけからなる言語を例にとって、今後の概念について説明する。 3.1 対象言語とかメタ言語と…