SML# - C言語バインディング まとめ (ML/LL AdventCalendar20日目) - ::Eldesh a b = LEFT a | RIGHT b
この記事は LL/ML Advent Calendar #LLAdventJP 20012/12/20の参加記事です。 出来心でRTした次の瞬間には犠牲に参加することになっていました。なごやこわい。 注意：この記事では SML#1.2.0 を使うものとしています。 SML# にはC言語バインディングをサポートする機構が言語レベルで組み込まれており、簡単にC言語で書かれたライブラリを利用することが出来ます。 しかしまぁ、簡単とは言っても相手はあのC言語ですよ。 現実世界のライブラリをバインドするにはキレイな世界だけで完結するはずも無いのです…。 ここでは、私がまともに使い始めて分かってきたことを含めて、基礎からSML#のC言語バインディングの機能を一通り紹介します。 いきなり例 もう界隈の人にはおなじみかもしれません。最も簡単なバインディングの例です。 # val puts = _impor
高速な算術圧縮を実現する「Range Coder」
はじめに 本記事では、全体のサイズが最小となる算術圧縮を高速に実現するRange Coder（以下RC）を紹介します。 算術圧縮は、各文字の出現確率が分かっている場合にそのデータを最小長で表現可能な符号法です。各文字に固定の符号を割り当てるHuffman法とは違い、符号化を状態更新とみなし、すべての文字を符号し終わった後の状態を保存することで符号化を実現します。これにより1文字単位の符号長を1bitより細かく調整することが可能となります。 算術符号は圧縮率が高い反面、ビット単位の演算処理が大量に発生するため、符号化、復号化ともにHuffman符号に比べ遅いという問題点があります。今回紹介するRCは、算術符号の処理をバイト単位で行うことで高速な処理を可能にします。 また、算術圧縮については概要から説明します。 対象読者 C++の利用者を対象としています。データ圧縮の基礎を知っていることが望ま
グーグルが雇用した危ない天才発明家とAIの行方（小林 雅一） @gendai_biz
グーグルが先日、自社の開発責任者の一人として発明家のレイ･カーツワイル（Ray Kurzweil）氏を採用し、話題となった。 カーツワイル氏は音声認識や光学文字認識（OCR）など様々な領域で先駆的な業績を残し、1999年には「アメリカ国家技術賞（National Medal of Technology）」を受賞するなど、米国、いや世界でも有数の発明家だ。作家や未来学者（Futurist）としても活躍し、さらにヘッジファンドまで運営して、そこで自ら開発したAI（人工知能）システムを使って資産運用するなど、マルチ･タレントとして知られる。 その一方で不老不死に興味を持ち、そのために機械と人間を徐々に融合させて、最後には人間の意識を電脳に移植する、といったことを本気で考えているエキセントリックな人物でもある。 カーツワイル氏は「シンギュラリティ（Singularity：技術的特異点）」の信奉者、
The Lambda Calculus (Stanford Encyclopedia of Philosophy)
First published Wed Dec 12, 2012; substantive revision Tue Jul 25, 2023 The \(\lambda\)-calculus is, at heart, a simple notation for functions and application. The main ideas are applying a function to an argument and forming functions by abstraction. The syntax of basic \(\lambda\)-calculus is quite sparse, making it an elegant, focused notation for representing functions. Functions and arguments
CDB
D. J. Bernstein Data structures and program structures cdb How to install cdb The cdbget program The cdbmake and cdbdump programs The cdbstats and cdbtest programs The cdb format specification The cdb-reading library interface cdb is discussed on the cdb mailing list. What is it? cdb is a fast, reliable, simple package for creating and reading constant databases. Its database structure provides se
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
TOP PAGE
cdb niiyama - Google 検索
Elizabeth Rather Facebook, Instagram & Twitter on PeekYou
Forth Vendors Group work and employee search | List of Names and Contact Info at PeekYou