Mitou 2017 Demo Day (未踏成果報告会)まとめ #未踏

きばん卿 @kivantium

2017年度 未踏成果報告会「MITOU2017 Demo Day」1日目 live.nicovideo.jp/watch/lv310182… きゃーgfn先輩！

κeen @blackenedgold

HM多相+レコード多相(SML# と同じ)+代数的データ型 #mitoudemoday

κeen @blackenedgold

「まずは組版システムとしてどう動くかデモします」 #mitoudemoday

sat @satoru_takeuchi

昔、未踏成果発表会中に「ぼくも未踏に採択されるようにがんばるぞ」って言ってたら西尾さんだったかにツイを拾われてtogetterにまとめられて恥ずかしかったことがあった。オーバーエイジですまん

κeen @blackenedgold

「いきなりPDFが出てきて」 #mitoudemoday

κeen @blackenedgold

「大体LaTeXに近い構文」 #mitoudemoday

κeen @blackenedgold

「一般的な書籍としても通用するんじゃないかなと自負しています」 #mitoudemoday

κeen @blackenedgold

「欧文組版」 #mitoudemoday

κeen @blackenedgold

「図の挿入や表」「重要なのは数式」 #mitoudemoday

odan @odan3240

【ニコ生(2018/02/10 10:00開始)】2017年度 未踏成果報告会「MITOU2017 Demo Day」1日目 #nicoch2605010 #IPA未踏 nico.ms/lv310182883?re…

κeen @blackenedgold

数式組版にlet使えるの便利ー #mitoudemoday

κeen @blackenedgold

相互参照 #mitoudemoday

κeen @blackenedgold

「もう一方の重要なのはエラー報告」 #mitoudemoday

佐藤正尚 (Dion Masanao Sato) @penguinmeditate

未踏の発表、やはりSATYSFIが気になるけどこれすごいな。。。

κeen @blackenedgold

「\parbox の実装内部のエラーがでしまう」 #mitoudemoday

RtestR @RtestR

2017年度 未踏成果報告会「MITOU2017 Demo Day」1日目 - 2018/02/10 10:00開始 - ニコニコ生放送 dlvr.it/QFls85

κeen @blackenedgold

「ブロックテキストが渡されたけど長さが期待されてるよ」 #mitoudemoday

κeen @blackenedgold

「文書作成効率だけでなくライブラリ作成効率も高める」 #mitoudemoday

κeen @blackenedgold

「バックエンドはLaTeX...TeX処理系とほぼ同様」 #mitoudemoday

κeen @blackenedgold

「バックエンド部分にもコマンドは介入できる」 「不正な介入を型システムで弾ける」 #mitoudemoday

κeen @blackenedgold

「テキストから箱へ変換するプリミティヴ」 #mitoudemoday

ぬるぽへ @nullpo_head

#mitoudemoday が正しいタグっぽい

κeen @blackenedgold

「今後」 「縦組み、二段組、フォントの部分埋め込み、タグ付きPDF、L2RとR2Lの混植、LaTeXインタプリタの組み込み」 #mitoudemoday

ぬるぽへ @nullpo_head

かっけえよなあ、ぜってーLaTeXたおしましょう #mitoudemoday

ぬるぽへ @nullpo_head

「官庁が一太郎からWordになったというニュースのを研究者たちが笑っていたことがあった」「でも今どきLaTeX使ってるのもどうかと思います」 #mitoudemoday