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公開セミナー] 論理学
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 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.
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
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 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
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く