You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
KeY-project とはプログラム、 特に Java (の subset) プログラムに対する形式手法のためのツール群です。 The KeY Book (2007) によれば、 以下の大学の共同プロジェクトです: University of Karlsruhe Chalmers University of Technology in Göteborg University of Koblenz-Landau 執筆時では以下のツールが開発されているようです: KeY Prover (for Java Card) KeY-Hoare KeYmaera KeY for C ASMKey 本稿では Key Prover の簡単な紹介を行います。 その他のツールについては、筆者の能力の限界&アドベントカレンダーの締切のせいもあり、 紹介することができません。 また、KeY Prover の Ec
Set in the 16th century, Pioneers is an atmospheric turn-based exploration/adventure RPG where you lead a party of travellers in search of treasure-rich temples, new tribes and ways to go down in history - ways to go beyond the horizon. To achieve all that you complete quests building up your reputation to become a sought out explorer by kings and commoners alike. You set out promising your father
追記: ライブラリとして切り出しました pdf.jsを使ってスライド表示するライブラリを書いた | Web Scratch どういうもの https://azu.github.io/slide/DOMQuery/sourcemap.pdf というPDFファイルを読み込んで表示しています。 普通のHTMLスライドのようにウェブページとして公開することも出来ます。 例) https://azu.github.io//slide/DOMQuery/ 作った経緯 mozilla/pdf.jsを使えばPDFをブラウザ上で表示出来るので、これを使ったプレゼンテーションツールとかあると面白そうな気がしたのが始まりです。 こういうのが欲しい理由としては以下のような感じでした。 Deckset みたいにPDFしか配布用のフォーマットがないものがある Deckset自体は便利なので使いたい でもSlideSh
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く