未踏IT人材発掘・育成事業：2017年度採択プロジェクト概要（諏訪PJ） | デジタル人材の育成 | IPA 独立行政法人 情報処理推進機構

未踏IT人材発掘・育成事業：2017年度採択プロジェクト概要（諏訪PJ） 1．担当プロジェクトマネージャー 竹迫 良範（株式会社リクルートマーケティングパートナーズ 専門役員） 2．採択者氏名 諏訪 敬之（東京大学 大学院 情報理工学系研究科 コンピュータ科学専攻） 3．採択金額 2,304,000円 4．テーマ名 型による静的検証能力の高い組版システムの開発 5．関連Webサイト https://github.com/gfngfn/Macrodown 6．申請テーマ概要 マークアップされたコードから文書を生成する組版処理システムは文字社会・印刷文化の根幹をなすソフトウェアであるが、既存の組版処理システムは一般のユーザが高度なマクロ定義や組版上の工夫を凝らしにくい言語設計になっているほか、ユーザの入力のうち問題のある箇所をエラーとして報告する能力が十分とはいえない。そこで本クリエータは既存

[kuy]

やはりOCaml最強か（ちゃんと読んでない）

[mkusunok]

すごいな、現代のKnuth先生を目指してるのかな？