IsabelleによるCBC CasperのSafetyの証明をしました
日記です。 リポジトリ: LayerXcom/cbc-casper-proof 概要 (私は LayerX の人ではないですが)LayerX 社の人と色々あって CBC Casper というブロックチェーンのプロトコルの検証作業を行いました。(主に定理証明士としてのお手伝い) 半年くらいかかったけどやりたかった証明についにたどり着いたよという話。 CBC Casper って何 わからん。(無知) 何かブロックチェーンのプロトコルの名前らしい。Ethereum 財団が目をつけてるらしい。いわゆるビットコインとは違ってブロックを頑張ってマシンをぶん回してマイニングしたりしないらしい(ビットコインは PoW で CBC Casper は PoS)。 詳しいことは詳しい人に聞いたほうがいいよ(真理)。 cf: CBC Casper と形式的検証 Isabelle で検証って何するの ブロックチェー
メモ：Nature公式、論文要旨の書き方 - 発声練習
メモ。 Nature公式、論文要旨の書き方。 授業でこれを扱うと国籍問わず大半の大学院生が知らなかったと言うので簡易和訳版を作成。 もちろん、Nature以外の論文にも流用する事が可能。 注目は、[結果]に使える文の少なさ(2~3文。全体の20~25%)。 和訳の修正案、大歓迎です。 英語版:https://t.co/RQEbeOWoNX pic.twitter.com/DcIePZhD6Y— 遠山 祐典 (@ToyamaYj) September 19, 2018 Nature Researchの松田と申します。このアブストラクトの書き方について、Nature日本法人の方で作っているPDFもありますので、よろしければご自由にお使いください。下記URLのp11となります。https://t.co/7ze0gbfpCW— 松田 栄治 Eiji Matsuda (@matsuda_eiji)
(解説) はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化 - Hatena Developer Blog
こんにちは、シニアアプリケーションエンジニアのid:taraoです。この記事ははてなデベロッパーアドベントカレンダー2015の10日目です。昨日はid:tapir320によるはてなの組織開発についてでした。 先月開催されたWebDB Forum 2015で、「はてなブックマークにおけるアクセス制御: 半環構造に基づくモデル化」というタイトルの発表をしました。 はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化 from Lintaro Ina 発表資料には多くの方に興味をもっていただけたようですが、わかりにくい点も多かったのではないでしょうか。スポンサー企業としての技術報告セッションとはいえ学術会議での発表なので理論面と独自の工夫点にフォーカスした内容であったり、口頭での発表のしかたに大きく依存したスライドの遷移方法になっているので、この資料だけで細かいところまで理解しよ
優れた研究論文の書き方―7つの提案
オリジナルはこちら https://www.microsoft.com/en-us/research/academic-program/write-great-research-paper/ http://research.microsoft.com/en-us/um/people/simonpj/papers/giving-a-talk/Writing%20a%20paper%20(seven%20suggestions).pptx 新しいバージョンはこちら https://www.slideshare.net/kdmsnr/how-to-write-a-great-research-paper-226669082Read less
論文は読むのではなく代わりに読んでもらう - xuwei-k's blog
ということをここ2、3ヶ月やっててわりと続いてるのでおすすめです。論文じゃなくて普通の英語の本でもいいけど。 論文自体を読もうと思ったきっかけや、具体的にどうやって論文探して、どういう論文読むのか？みたいな話はべつの機会に書くとして、なにはともあれ論文読むのは英語の勉強の為でもあるわけです。 そもそも英語の勉強するには、単に読むより、リスニングとかその他色んな方法でやってみたほうがいいですね？たぶん。 CDくっついてる教材みたいなのを何冊か買って勉強してみたこともあるんですが、内容が興味あるものでないせいか、なんとなく微妙な感じになるので、色々試行錯誤した結果「だったら論文読んだほうがいいだろ」となりました。 あと、(比較するの若干おかしい？が) そういうやつは、そもそもCDの音声をPC経由でiPhoneやiPod的なものに入れる事自体面倒なので、論文ダウンロードして読み上げてもらうほうが
Walking Like Dinosaurs: Chickens with Artificial Tails Provide Clues about Non-Avian Theropod Locomotion
Birds still share many traits with their dinosaur ancestors, making them the best living group to reconstruct certain aspects of non-avian theropod biology. Bipedal, digitigrade locomotion and parasagittal hindlimb movement are some of those inherited traits. Living birds, however, maintain an unusually crouched hindlimb posture and locomotion powered by knee flexion, in contrast to the inferred p
校了後印刷前原稿の引用について - 発声練習
Google Scholarが推薦してくれた論文がおもしろそうだったのでダウンロードしようとし、ついでに論文情報をMendeleyに入力しようとしてふと困った。この論文にページ数や雑誌の巻号情報がない！？ この論文は校了（採択されて、著者校正が済んだ状態）しているけど、印刷（実際にある巻号の雑誌に載せること）前のものであるとのこと。私がたまたま見ていた Journal of Logic and Computation ではこれを Advance Access という名前で公開しているとのこと。 Journal of Logic and Computation Advance Access 別件でTheoretical Computer Scienceでも、校了後印刷前原稿を公開していたので、昨今の流れなのだと思う。 で、アクセスでき、かつ、自分の研究に関係するならば引用しなければいけないの
学術雑誌・論文集掲載論文を公開する際に役立つサイト - 発声練習
ワイリー・サイエンスカフェ ：ジャーナルに掲載された自分の論文をネット公開してもいい？ 友人にメールで送るのは？ 論文著者が権利上やっていいこと・ダメなことを読んで勉強になったのでご紹介。大学院生は必読。 上記のエントリーを読んで「じゃあ、あの雑誌／出版社はどういう方針なんだ？」と思った場合は以下の公開ポリシーを調べてまとめてくれるサイトを利用すると便利。Green, Blue, Yellow, White, Grayという区分けでどの段階の原稿であるならば公開（セルフアーカイビング）してよいのかを示してくれている。ただし、最終的には個々の公開ポリシーを読まないといけない。 英雑誌：SHERPA/RoMEO - Publisher copyright policies & self-archiving 和雑誌：学協会著作権ポリシーデータベース 上記のエントリーなどで登場する機関リポジトリと
Functional Programming with Overloading and Higher-Order Polymorphism
Functional Programming with Overloading and Higher-Order Polymorphism Mark P. Jones, In First International Spring School on Advanced Functional Programming Techniques, B{\aa}stad, Sweden, Springer-Verlag Lecture Notes in Computer Science 925, May 1995. Abstract: The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for
Research papers - HaskellWiki
A lot of documentation exists about Haskell, and its foundations, in the form of research papers written by those investigating language design. An enormous research effort, by hundreds of researchers over the past 20 years, has gone into making Haskell such a great language. In general, if a feature is not well understood, it isn't going to become part of the language. Here is a selection of thos
Reddit - Dive into anything
The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more...
Home Page
The DOI Foundation is a not-for-profit organization. We govern the Digital Object Identifier (DOI) system on behalf of the agencies who manage DOI registries and provide services to their respective communities. We are the registration authority for the ISO standard (ISO 26324) for the DOI system and we are governed by our Registration Agencies. Read more about us, our operations and our community
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Simon Peyton-Jones - Microsoft Research
https://www.cs.utexas.edu/~dahlin/professional/parbery-referee.pdf
Logical Methods in Computer Science - Home
Microsoft 課金サービス
40 Years of Formal Methods
Google Code Archive - Long-term storage for Google Code Project Hosting.
Implementing Type Classes
A History of Haskell: being lazy with class - Microsoft Research
