サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
GPT-4o
www.slideshare.net/bd_gfngfn
第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022, https://jssst-ppl.org/workshop/2022/index.html )にて招待講演として発表させて頂いた際のスライドです. 以下のページでも閲覧可能です: https://gfngfn.github.io/ja/posts/2022-05-11-slides-ppl2022-invited/Read less
型システム祭りオンライン(2020-04-17)で発表したものです. 以下のページでも閲覧可能です: https://gfngfn.github.io/ja/posts/2022-05-12-slides-type-system-matsuri-2020/Read less
Finding OOMS in Legacy Systems with the Syslog Telegraf Plugin
レコード計算の多相型システムと型推論1. {title= , author= date= } , @bd_gfngfn gfngfn 2. • A. Ohori. A Polymorphic record calculus and its compilation, 1995. • E. Osinski. A Polymorphic Type System and Compilation Scheme for Record Concatenation, 2006. 3. • A. Ohori. A Polymorphic record calculus and its compilation, 1995. • E. Osinski. A Polymorphic Type System and Compilation Scheme for Record Concatenation, 2006.
ML風の言語がマクロ定義に使える軽量マークアップ言語,Macrodownの紹介。ML勉強会( http://connpass.com/event/32752/ )の発表に使用したスライドです。
TeXユーザの集い2014のライトニング・トーク・セッションで発表した,TeXの展開制御とそれによる文書の記法・構造分離に関する簡単なお話です.厳密に5分以内の制約と準備不足のため駆け足になってしまいましたが,ここに省いたページも加えてスライドを掲げます.
このページを最初にブックマークしてみませんか?
『www.slideshare.net』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く