基礎演習 I 論理学
CAPE論理学上級Ⅱ「構成的型理論」 開催予定日（中継urlは本ポスト下部を参照してください） ① 3月26日（土）1030-1230「ラッセルのパラドックスと3つの対策」 ② 3月26日（土）1430-1630「カリー・ハワード対応と『証明のデータ型としての命題』観」 ③ 3月27日（日）1030-1230「証明論的意味論としてのマーティン・レーフの構成的型理論」 ④ 3月27日（日）1430-1630「認識論の機械化：証明の正規化と証明支援系」 ①3月26日（土）1030-1230「ラッセルのパラドックスと3つの対策」 [2021CAPE公開セミナー] 論理学上級 Ⅱ-1「ラッセルのパラドックスと3つの対策」 from Shunsuke Yatabe ②3月26日（土）1430-1630「カリー・ハワード対応と『証明のデータ型としての命題』観」 [2021CAPE公開セミナー] 論理学
『日本の原子力施設全データ』（北村行孝・三島勇著 講談社ブルーバックス2001年刊）一部公開のお知らせ
ミノア文明滅亡の謎…エーゲ海に浮かぶ火山島「サントリーニ」の誕生と成長、そして、3600年前に起こった「史...
Ruby Best Practices - Full Book Now Available For Free!
The last few weeks have been a wild ride. Starting in January, I’ve been releasing a chapter at a time here on the RBP blog, and many of those chapters were pretty well commented on. Just for the sake of completeness, here’s a link back to each of those posts: Chapter 1: Driving Code Through Tests Chapter 2: Designing Beautiful APIS / Chapter 3: Mastering the Dynamic Toolkit Chapter 4: Text Proces
purePDF, a complete actionscript PDF library - sephiroth.it - flash world
PurePDF is a complete library for creating PDF documents using actionscript 3 ( targeted for flash player 10 ). The project is actually hosted on google code. This is is a porting I've made of the famous java iText library ( version 4.2 ) by Bruno Lowagie into pure actionscript 3.0 (with some little modifications). iText ( and purePDF ) has tons of features for create and manipulate pdf documents.
Main Page - libHaru.org wiki
What is libHaru? libHaru is a free, cross platform, open source library for generating PDF files. It supports the following features: Generating PDF files with lines, text, images. Outline, text annotation, link annotation. Compressing document with deflate-decode. Embedding PNG, Jpeg images. Embedding Type1 font and TrueType font. Creating encrypted PDF files. Using various character sets (ISO88
ch07.vp
Flash / Robert Penner's Programming Macromedia Flash MX / Penner/ 2356-1 / Chapter 7 Blind Folio 189 Par t III Dynamic Visuals P:\010Comp\Flash\356-1\ch07.vp Friday, October 04, 2002 4:24:37 PM Color profile: Generic CMYK printer profile Composite Default screen Flash / Robert Penner's Programming Macromedia Flash MX / Penner/ 2356-1 / Chapter 7 Blind Folio 191 Chapter 7 Motion, Tweening, and Easi
IE Snapshot ACCALIA - capture your web
IE Snapshot is a application to save what you see from the internet. It can be used to archive special webpages, which can not be printed correctly or which have to be archived within one PDF file. It is like screenshot making tool, but it makes images directly from web and you can select the region, that you want to capture.Windows Application - WYSIWYG 100% IE Snapshot ACCALIA is a tool to capt
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
[PDF] UR「団地設計の変遷 since 1955」 - UR都市機構
RBCS Software Testing Training & Consulting: Articles
GitHub - bpampuch/pdfmake: Client/server side PDF printing in pure JavaScript
INTERFACE SKETCH
【PDF】日本人とは何者だろう？＆2003年版エピローグ『銃、病原菌、鉄』2005年版増補章： ジャレド・ダイアモンド 訳：山形浩生
Issuu - You Publish
http://a2k.aill.org/
http://www.alivepdf.org/