ソフトウェア基礎論配布資料 (6) オブジェクト計算: Featherweight Java 五十嵐 淳 京都大学 大学院情報学研究科知能情報学専攻 e-mail: igarashi@kuis.kyoto-u.ac.jp 平成 17 年 12 月 6 日 1 オブジェクト計算
ソフトウェア基礎論配布資料 (6) オブジェクト計算: Featherweight Java 五十嵐 淳 京都大学 大学院情報学研究科知能情報学専攻 e-mail: igarashi@kuis.kyoto-u.ac.jp 平成 17 年 12 月 6 日 1 オブジェクト計算—概要 λ 計算が関数の概念を中心に備えた計算体系であり，Lisp, Scheme, ML などの関数型プ ログラミング言語の中核部分のモデルであるのと同様に，オブジェクト計算は (Smalltalk, Java, C++ などオブジェクト指向言語における) オブジェクトの概念をモデル化した計算体 系である．オブジェクト計算には Abadi と Cardelli による ς 計算などがあるが，ここでは， オブジェクトだけでなくクラスもモデル化しており，実際の言語により近い，Featherweight Java (FJ
29ビット以上のint値にも対応できるようにSimple9を調整 - kaisehのブログ
Simple-9について解説 - tsubosakaの日記 http://ameblo.jp/th0083/entry-10483740192.html Simple9は、整数列を高速に圧縮するアルゴリズムです。32bitのint値を上位4bitと下位28bitに分けて、下位28bitにデータをできるだけ多く詰め込み、上位4bitで詰め込みのパターンを表現します。パターンは全部で9種類あります。 上位4bit パターン 0000 1bit x 28 0001 2bit x 14 0010 3bit x 9 0011 4bit x 7 0100 5bit x 5 0101 7bit x 4 0110 9bit x 3 0111 14bit x 2 1000 28bit x 1 ただしこのレイアウトでは、圧縮対象の整数列の中に29bit以上の数値が入っている場合に対応できません。そこで、詰め込
Tiger (Java2 SE 1.5) で追加された並列プログラミング機能
次期、Java2 Platform, Standard Edition 1.5 (以下、J2SE1.5) は言語仕様の拡張以外に、並列プログラミング機能の強化、JavaVM 内モニタリング機能の強化が加わった。 このページでは並列プログラミングプリミティブについて紹介してみる。 J2SE 1.5 で加わる並列プログラミング機能は JSR-166 Concurrency Utilities に基づいている。 java.util.concurrent.* パッケージに従来の Java スレッドと Java モニタ(synchronize/wait/notify) よりも強力な以下のような道具が用意される。 並列プログラムのためのコンテナクラスの拡張 スレッド・プーリング(Thread Pooling) アトミック操作 (java.util.concurrent.atomic) ミューテックス、
WebSocket APIを気軽に試せるアプリケーション「WebSocketBroadcaster」 (Kanasansoft Web Lab.)
「WebSocketBroadcaster」という名称が長過ぎ、一部の環境で正常に実行できないようなので、名称を「WSBroadcaster」に変更します。 本文中の文言も修正済ですが、タイトルはパーマリンクの関係でそのままです。 追記終わり 「WebSocketを使ってみたいけどサーバのスキルが...。」 そういう声をたまに見ます。 そこで、WebSocket APIを気軽に試せるように「WSBroadcaster」という、専用のアプリケーションを作成しました。実体は、JavaのライブラリのJetty7にブロードキャスト機能を追加し、実行ファイルの形式でラップしただけのものです。 以下のURLからzipファイルをダウンロードして、解凍してください。 Windowsの場合は、「WSBroadcaster-x.x.x.exe」を実行するだけです。Mac OS Xでは、「WSBroadcast
Ubuntu用クリップボード履歴ツール CLCLCLベータ版をリリースしてました
beta版をリリースしたのは、結構前ですが、お知らせします。beta版になったこともあるので、一通りの使い方の紹介をしてみます。クライアントPCにUbuntuを使ってて、クリップボードの履歴ツールを使ってなかったら、試してみてください。 CLCLCL – クリップボード履歴ツール http://sourceforge.net/projects/clclcl/ JavaVM上で動作するクリップボード履歴ツールです。ターゲットOSは、Ubuntuですが、Windows上で動作させることも可能です。 インストール方法 ダウンロード http://sourceforge.net/projects/clclcl/ から最新版バイナリをダウンロードします。 ダウンロードしたファイルを解凍すると、ディレクトリが作成され、そのディレクトリ内に以下のようなファイルが含まれています。 ChangeLog RE
JDBCメタデータ メモ(Hishidama's JDBC DatabaseMetaData/ResultSetMetaData Memo)
JDBCのメタデータは、データベース（RDB）の（データでなく）定義自体を扱う。 メタデータを利用して、テーブルの項目一覧だとか属性だとかを取得することが出来る。 DatabaseMetaDataはConnectionから取得できる。 ResultSetMetaDataはResultSetから取得できる。 テーブルの項目一覧 プライマリキー項目 レコード一意識別項目 項目の型の取得 [2009-04-10] PreparedStatementの項目の型 [2009-10-25] 自動採番値の取得 [/2010-07-24] テーブルの項目一覧を取得する例 import java.sql.Connection; import java.sql.DatabaseMetaData; import java.sql.ResultSet; Connection conn = ～; DatabaseM
NullPointerExceptionなどの標準例外を使っていないわけ - taediumの日記
Domaでは、Daoのメソッドに期待されない引数（nullとか）が渡された場合に例外をスローしますが、そのときの例外にNullPointerExceptionやIllegalArgumentExceptionを使っていません。代わりに、DomaNullPointerExceptionやDomaIllegalArgumentExceptionといったDoma独自の例外を投げます。 これはなぜかというと、Daoのメソッドに対する事前条件を満たしていないのか、それともDoma自身にバグあって例外がスローされてしまっているのをわかりやすくするためです。 つまり、DomaNullPointerExceptionやDomaIllegalArgumentExceptionがスローされるということは、「これはDomaが意図的にスローしています。なんらかの条件を満たしていません。」というメッセージです。そし
Javaでジェネレータ - <s>gnarl,</s>技術メモ”’<marquee><textarea>￥
つくった。javaでyield returnできるので精神が健康になる! Generator<Integer> g=new Generator<Integer>() { @Override protected void iterate() throws InterruptedException { for(int i=0;i<10;i++) yield_return(i); } }; while(g.hasNext()) System.out.println(g.next()); 無限リスト対応。 Generator<Long> fib=new Generator<Long>() { private void return_fib(long a,long b) throws InterruptedException { yield_return(a+b); return_fib(b,a+b
Java でやる名前付き引数 - kameidの備忘録 - Sharpen the Saw!
こういうことになろうかと。 public class N { class Param { String A; String B; String C; // ... public String build() { // ... return null; } } public void put(Param p, int from, int to) { String s = p.build(); // パラメータを組み立てる。入力チェックとかもすればいい。 // ... } } 呼び出す方は以下のような感じ。 public void test() { new N().put(new N.Param() {{ A = "PC"; B = "M"; C = "P"; // ... }}, 23, 5); } Map を使って似たようなことが当然出来るが、違いはパラメータ名の間違えた時に、コンパイルエ
WebSocketを使ってリモートデスクっぽいVNCっぽいWebSocketRemoteというものを作ってみました (Kanasansoft Web Lab.)
(2010/04/09 追記:タイトル内のVNCをSVNと間違えていたのを修正しました。) 次世代のWebの規格としてWebSocketというものがあります。WebSocketは、AjaxでもCometでもないサーバ-クライアント間の新しい通信方法です。通常のWebアクセスや、Ajax・CometはHTTPを使用していますが、WebSocketはHTTPではありません。接続のたびに接続のリクエストが発生するHTTPと違い、WebSocketはとても高速で、同時に複数の接続も可能となっています。遅延も小さく比較的容量の大きいデータも高速に転送できるため、リモートデスクトップのようなものが作成できないかと思い、WebSocketRemoteというものを作ってみました。ブラウザには、プラグインやFlash、Javaアプレット等は一切不要となっています。 一応動作するのですが、XMLHttpReq
Effective Java 読書会 10 日目 「Java の基本テクニック集」 - IT戦記
はじめに 読書会に参加していないところがあるので、そこは議事録を読みながら、なるべく自分の言葉で書いていきます！ 読んだところ 175 ページ〜 222 ページ 前回はこちら Effective Java 読書会 9 日目 「Enum の拡張とアノテーション」 - IT戦記 引数の検査をきちんとして javadoc の @throws に書く IllegalArgumentException IndexOutOfBoundsException NullPointerException などは、事前に引数チェックして出す。たとえば、 OpenJDK の String(byte[], int, int, String) では、以下のような実装になっている、自分で引数チェックをして、その内容を明確に @throws に記述している。 // チェック関数 private static void c
floatをもとにBigDecimalオブジェクトを作成する。 - 未来を愛すべきこと-Javaやったり技術書読んだり
doubleからBigDecimalオブジェクトを作成する場合、 BigDecimal bd = new BigDecimal(doubleVal); としてしまうと、浮動小数点で正確に表せない数値の場合、期待結果とズレる場合があります。 Javadocの BigDecimal(double) コンストラクタから引用↓ Oracle Technology Network for Java Developers | Oracle Technology Network | Oracle # 一方、String コンストラクタは完全に予測可能である。new BigDecimal("0.1") と記述すると、「正確に」 0.1 と等しい BigDecimal が作成される。そのため、通常は、これの代わりに String コンストラクタを使用することが推奨されている # BigDecimal のソー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
IBM Global Innovation Outlook 2.0
Why does Set.contains() take an Object, not an E?
Ropes For Java
http://www.iajapan.org/bukai/java/event/2007/0327/20070327_javasemi.pdf
http://trove.starlight-systems.com/
http://twitter.com/takawitter/status/23989777661
Java “yield return” code published
neue cc - Java