This content has moved; redirecting to the new location.
This content has moved; redirecting to the new location.
What is ATS? ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS2 (ATS/Postiats) is written in ATS1 (ATS/Anai
Summary Log4c is a library of C for flexible logging to files, syslog and other destinations. It is modeled after the Log for Java library (http://jakarta.apache.org/log4j/), staying as close to their API as is reasonable. Here is a short introduction to Log4j which describes the API, and design rationale. Mark Mendel started a parallel log4c projet with a different philosophy. The design is macro
val fruits = List("apple", "banana", "avocado", "papaya") val countsToFruits = // count how many 'a' in each fruit fruits.groupBy(fruit => fruit.count(_ == 'a')) for (count, fruits) <- countsToFruits do println(s"with 'a' × $count = $fruits") // prints: with 'a' × 1 = List(apple) // prints: with 'a' × 2 = List(avocado) // prints: with 'a' × 3 = List(banana, papaya)
Want to create a programming language, but don't feel like going through one of those expensive and boring 1000-page books ? Well, you're not alone ... The best system to create your first programming language.
Written by Bjarke Viksoe. This article was submitted 4/4/2002. A post in February 2002 on the Yahoo WTL newsgroup resulted in an effort to create documentation for the WTL programming library. The reason Since the WTL library is practically run by a single employee at Microsoft, little time is available for creating documentation. And documentation is needed and requested by many newcomers to this
今月やった仕事でTwain機器をコントロールしてほげほげってのがあったのでログ。 b:id:twisted0517:t:twain ライブラリはcodeprojectのtwain.netを使う。 http://www.codeproject.com/KB/dotnet/twaindotnet.aspx サンプルの通りやるだけで普通に使えるんだけど、 ADF付きのスキャナからの連続読み取り ドライバ名指しでのTWAIN機器の選択 あたりをちょいと弄った。 ADF付きのスキャナからの連続読み取り ADFを使って複数のイメージを連続スキャンすると、1読み取りアクションに対してn枚のイメージが取得できるのに、そのまま使ってたら何故か先頭1枚分のイメージしか取得できんかった。 twain.netのフォーラムを流し読みした感じ、TwainLibのAquire()の一部を直せばいいとのこと。 Re: A
Download source - 16 KbDownload demo - 12 Kb Abstract In Windows imaging applications, the most used API for scanning is TWAIN www.twain.org. Unfortunately, the new .NET Framework has no built-in support for TWAIN. So we have to work with the interop methods of .NET to access this API. This article doesn't explain this interop techniques, and good knowledge of the TWAIN 1.9 specifications is assum
iPhone で画像をリサイズする方法です。 下記で、UIImage *image の画像を 320×480 のサイズにリサイズしています。 CGImageRef imageRef = [image CGImage]; size_t w = CGImageGetWidth(imageRef); size_t h = CGImageGetHeight(imageRef); size_t resize_w, resize_h; if (w>h) { resize_w = 320; resize_h = h * resize_w / w; } else { resize_h = 480; resize_w = w * resize_h / h; } UIGraphicsBeginImageContext(CGSizeMake(resize_w, resize_h)); [image drawIn
AutoPagerize くらいは - twwp宛て。 本家swdyh版について(oAutoPagerizeも主な流れは同じだけど)、ざっくりと処理の流れを(細かいところやメインでない部分は省いています)。 ページの読み込み→Greasemonkey起動(この辺は省略)、AutoPagerize起動 SITEINFOの読み込み SITEINFOの期限が切れていた場合、wedataから最新を取得 URLにマッチするSITEINFOがあるかチェック、なければ終了 SITEINFOのXPathが機能しているかチェック、XPathで要素を取れなかったら終了 初期化処理 次のページのURL取得 差込位置の決定、insertBeforeか、pageElementの最後の次の要素 右上アイコン・ヘルプの設置 スクロール監視の開始 読み込み開始位置の決定(どこまでスクロールしたら次のページを読み込むかは、
I am trying to create a UITableView with variable height rows as explained in the answer to this question My problem is each cell contains a UIWebView with different (statically loaded) content I can't figure out how to calculate the proper height based on the content. Is there a way to do this? I've tried things like this: (CGFloat)tableView:(UITableView *)tableView heightForRowAtIndexPath:(NSInd
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く