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

κeen @blackenedgold

moltが終わってcurevulnの話 #mitoudemoday

κeen @blackenedgold

「静的解析ツールにまかせて満足してませんか？」 一部界隈が吹き上がりそうな煽りだ #mitoudemoday

κeen @blackenedgold

脆弱性のないコードにするには静的解析や外部による脆弱性診断が主な方法 #mitoudemoday

κeen @blackenedgold

そもそも開発者を教育するのが大事 #mitoudemoday

κeen @blackenedgold

実際にブラウザからコードを書いて学習できる #mitoudemoday

κeen @blackenedgold

Q「教える立場になるとよく理解できるということ？」 A「はい。スライドでは漏れてましたがそうです」 #mitoudemoday

κeen @blackenedgold

ラーニングピラミッド #mitoudemoday

κeen @blackenedgold

Q「どんな学習にでも使えそうだけどセキュリティに特化した部分はあるの？コンテンツがセキュリティに寄ってるだけ？」 A「だいたいそう」 #mitoudemoday

ぬま @nu_marsh

今日は未踏の報告会ですか

κeen @blackenedgold

Q「一般向けってインシデントハンドリングとかあるとおもうけど？」 A「コンテンツを足すことは出来る」 #mitoudemoday

κeen @blackenedgold

Q「概念マップが実情に反するようにみえるけど？」 A「教師の概念に依存する。間違っていたらそれをすり合わせるのも学習になる」 #mitoudemoday

κeen @blackenedgold

#mitoudemoday 第３回目　現象学の基礎　～自明性への問い・「地平」の概念～ - ハイデガーの思惟の道　～『存在と時間』に至る道、そこからの道 in-der-welt-sein.hatenablog.com/entry/2015/09/…

κeen @blackenedgold

#mitoudemoday 諏訪 敬之　／　担当PM：竹迫 良範 「型による静的検証能力の高い組版システムの開発」

吉村 優 / YOSHIMURA Yuu @_yyu_

未踏の成果報告会きた。

κeen @blackenedgold

gfnガールがスクリーンにw #mitoudemoday

func @func_hs

未踏ニコ生、見ようとしたらflashだった。終了

κeen @blackenedgold

gfnの大げさな文字スライド #mitoudemoday

吉村 優 / YOSHIMURA Yuu @_yyu_

SATySFiだ！ #mitoudemoday

κeen @blackenedgold

「大雑把に言うとLaTeXを倒す」 #mitoudemoday

まっくす @minux302

L a T e X を 倒 す #mitoudemoday

κeen @blackenedgold

「Better LaTeXを作る」 #mitoudemoday

nishio hirokazu @nishio

教育効果が高いことが小学五年生を対象とた比較実験で従来型の穴埋めに比べて有意差が出たとのこと #未踏 facebook.com/groups/1474011…

κeen @blackenedgold

文書作成ソフトウェアの基本から。マークアップとWYSIWYGの違い #mitoudemoday

sat @satoru_takeuchi

未踏、プロジェクト数多いな。５個くらいだとおもってた

κeen @blackenedgold

マークアップは間違えやすい→エラーメッセージの適格さが文書作成効率のキモ LaTeXのエラー報告は分かりづらい #mitoudemoday