Group items tagged

LFやTwelfの流れを汲む証明系。証明木が見易いのが売りのようです。 [Types ML より] If you're planning to teach a programming language or logic foundations course and are thinking about using a proof assistant, you might consider SASyLF. SASyLF (Second-order Abstract Syntax Logical Framework) is an LF-based proof assistant that the same logical foundation and many of the same advantages as Twelf (in particular, variable binding is "built in"). However, it uses a syntax very close to that used for proofs on paper, giving the tool a much gentler learning curve--and much better error messages--than many alternatives.

協働でLaTeX執筆するためのツール。

さまざまな文献データベースに対応した文献リスト生成フォーマット

>8,000 の引用形式を .csl 形式で提供している．

Physical reports に出るサーベイ論文です。ぼくらの研究も引用してくれました。75ページもの大著です。今後、ネットワーク上のコミュニティ解析をする人にとって必読の論文かもしれません。著者からメールで知らせがきました。

Parsing expression grammar に関する基本論文．

メキシコの「本当」の実情。 メキシコ政府発表は大本営発表に近いものがあるようです。犠牲者2名と報道されているOaxacaでは19名が亡くなり、医療スタッフも倒れ、そのために閉鎖した病院が出てきているようです。医療スタッフの職場放棄も始まっています。 にも係わらず、野球場は若い人々で満員だそうです。メキシコでの情報の欠如が悲惨を招いているようです。 人口過密な東京が感染したら、感染者は倍々ゲームで増えることでしょう。身近な人々と迫り来る危険への対処を語るべきではないでしょうか。 教員としては授業の場で、こういうことを周知した方がいいかもしれません。そうだ、早速、明日の講義でやろう。

VINCI 2017

"Dendrogramix: a Hybrid Tree-Matrix Visualization Technique to Support Interactive Exploration of Dendrograms In Proceedings of the 8th IEEE Pacific Visualization Symposium (PacificVis 2015). pages 31-38. 2015. Renaud Blanch, Rémy Dautriche, Gilles Bisson"