サクサク読めて、アプリ限定の機能も多数！
トップへ戻る
Wikipedia
www.ueda.info.waseda.ac.jp/~ueda
www.ueda.info.waseda.ac.jp/~gaku
www.ueda.info.waseda.ac.jp/~nakano
www.ueda.info.waseda.ac.jp/~ichibe
Scheme は、非-Common Lisp（the UnCommon Lisp）です。この文書は MIT による Scheme 実装のためのプログラマ リファレンスです。このリファレンスでは、MIT Scheme で開発を行うために必要な情報と、実装の公開された部分について解説します。
www.ueda.info.waseda.ac.jp
《基調講演》『渕一博の思想：なぜ論理だったのか？』 （スライド） 林 晋 京都大学大学院 文学研究科 現代文化学専攻 情報・史料学専修 教授 第五世代コンピュータ・プロジェクトが開始された1982年から四半世紀が経過 した．渕はなぜ論理を中心とした新しい情報のパラダイムを目指したのだろう か？渕は第五世代コンピュータ・プロジェクトで何を目指そうとしたのだろう か？ 渕や（講演者を含む）多くの計算機科学研究者の予想と異なり，この四半世紀 は「ＰＣとネットの時代」となった．それは単なる「伝統的アーキテクチャ」 の普及・大衆化の時代ではなく，社会と情報通信技術の関係が本質的に変化し た時代であった．偶然か必然か，1980年代は，他の分野においても，この社会 （人間）と技術の関係の変化，そしてそれに伴う「技術」への視点の変化が始 まった時代である．工学者 Stephen Kline の言葉を借りて
www.ueda.info.waseda.ac.jp/~hara
あなたのpptにプログレスバーを プレゼンを見てて、今見せているスライドは全体でどのくらいの位置なんだろう？と思うことってありますよね。 本ツールを使うと現在位置を表すプログレスバーを ppt ファイルに挿入することができます。 ダウンロード tool_progress_bar.ppt (90KB) （ブラウザに表示されないように右クリックして「対象をファイルに保存」してください） 上記ファイルに含まれる VBA スクリプトが本ツールです。 スライドはドキュメントになっています。 更新履歴 2005/06/06(Tue) 23:19:00 GUI をわかりやすくした。 2005/04/13(Wed) 18:04:40 GUI 追加、塗りつぶしの visible=true が確実じゃなかったのを修正、専攻名を修正（笑） 2005/04/12(Tue) 22:38:11 さいしょ。 ドキュメン
渕一博記念コロキウム 『論理と推論技術：四半世紀の展開』 2007年10月20日(土) 9:00〜18:00 慶應義塾大学三田キャンパス東館６階 G-SEC Lab （地図） 主催：渕一博記念コロキウム組織委員会 協賛：人工知能学会，日本ソフトウェア科学会，情報処理学会 今年は第五世代コンピュータ・プロジェクトが始まってから25年になります． また，同プロジェクトを指揮してこられた渕一博さんが亡くなられてから１年が 経過しました． この機会に，第五世代プロジェクトや渕さんの周辺で芽生えた技術が，その後 の四半世紀でどのように展開したかを概観するコロキウムを企画しました． 当時から現在に至るまで各分野の第一線で活躍を続けている研究者の方々に， 「現在の視点から」当時の技術とその後の発展，およびそれを踏まえた将来展望 を語っていただきます．今回は特に『論理および推論技術』に焦点をあてて，そ の
www.ueda.info.waseda.ac.jp/~ishizaki
Emacs の HTML mode を使ってみよう。 ここでは、Emacs の HTML mode を使って、手っ取り早くページを書く方法を説明します。（ここで読者は、あるていど、Emacs が使えることを前提に書いています。） まずは、Emacs で HTML mode が使えるようにしましょう。 以下の部分を .emacs に追加して下さい。 ;;; ;;; Put the following code in your .emacs file: ;;; (autoload 'html-mode "html" "HTML major mode." t) (or (assoc "\\.html$" auto-mode-alist) (setq auto-mode-alist (cons '("\\.html$" . html-mode) auto-mode-alist))) 上田研の人は、
www.ueda.info.waseda.ac.jp/~takagi
Langphilia! / Study / Programming Languages for Distributed Applications 分散アプリケーション用のプログラミング言語 About {Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte}, Programming Languages for Distributed Applications, Invited paper for New Generation Computing, 1998-03-08. このページは、上記の論文の前半をてきとーに日本語訳したものです。 原文の著作権は原著者にあります。 このページの著作権は私にあります。 翻訳許可はもらっていません。 訳語対照表 安全性 (safety) 1級 (first-class) コードのように実行するだ
ここでは、パスワードやライセンス ファイル、ハードウェア キー (ドングル) でプロテクトされているソフトウェアのプロテクトをはずす (クラックする) 方法を実践的に解説します。クラック対象は実際のソフトウェアですが、どのソフトウェアなのかは実名は出しませんし、分からないように情報を少し改変してあります。 Lecture 01: Hoge ソフトウェア (VC) Lecture 02: Moo ソフトウェア (VC) なぜクラックするのか アセンブリ言語の知識を磨くため。 プログラミング言語の低レベルな実装の知識を磨くため。 シェアウェアの危険性を示すため。 クラックに使えるツール 巷にはいろんなツールがありますが、私が現在よく使用しているものだけを掲載します。 種類 名前 解説
解説，論説記事 A letter from the late Prof. Martin Hofmann (dated March 12, 2002) (My paper mentioned in the letter is "Resource-Passing Concurrent Programming" in Proc. TACS2001, LNCS2215, pp.95-126.) 広くゆきわたったB木（翻訳・校注） （原文： Douglas Comer, "The Ubiquitous B-Tree", ACM Computing Surveys, Vol.11, No.2, 1979, pp.121-138） bit 1980年11月号別冊「コンピュータ・サイエンス」, 1980, pp.21-39 から共立出版株式会社の許可を得て転載 本田耕平先生を偲んで 日本ソフトウェア科学会
Scheme は、非-Common Lisp（the UnCommon Lisp）です。このファイルは MIT による Scheme 実装のユーザー ガイドです。ここでは、MIT Scheme のインストールと実行の方法、Scheme プログラムの実行とコンパイルの方法、また、Scheme を Edwin と GNU Emacs で使う方法について解説します。
Langphilia! / KL1, 2002-07-07 けいえるわん 2002-07-07, klex, GNU autoconf, automake, flex を使ってみる 2001-11-18, KLIC-3.003, parallel implementation of KL1. Tips / OOP Distributed KL1 DKLIC KL1は、Flat GHCを基に、データ型、モジュール、プラグマの 拡張を行った実用的なプログラミング言語である。 GHCは最も単純な並行論理言語の一つであり、 Flat GHCはガードに組み込み述語のみ呼び出しを許す、GHCの部分集合である。 さらに、変数に入出力の方向を与えるとModedと言われ、 Moded Flat GHCとなる。 分散KL1を含むKL1の拡張は、GHCのセマンティクスを変えないように行われるため、 プログラムの
今回のソフトウェアについて 今回ターゲットとするソフトウェア (仮称 Hoge) は、パスワード プロテクトされているシェアウェアです。以下に特徴を示します。 シェウェアである。 ウェブから自由にダウンロードできる形態で販売されている。 3 週間の試用期限が過ぎると使えなくなる (おそらく起動できなくなる)。 シェウェア登録は支払い終了後に送られてくるパスワードを、ソフトウェア起動時に入力することで行う。 試用期間中はソフトウェア起動時に毎回一時パスワードの入力が求められる。 試用期間中はメニューの特定の機能が使用できないなどの機能制限がある。 このソフトウェアは、1 つの実行ファイル (Hoge.exe) と、幾つかの DLL および設定ファイルで構成されている。 起動時に表示される一時パスワードを入力するためのダイアログは、以下のような感じです (イメージ図)。以後、
by gcount HP200LXはなんと312gのパームトップ、ジーンズのポケットにも入ってしまうので 風呂以外ならどこでも持ってられる! 312gがどれぐらい軽いか量ってみたら、 今まで持っていたシステム手帳より軽かったんです。 fjでは話題を見かけませんが、comp.sys.palmtopsでは一時期、ほとんどの記事が HP{95,100,200}LXの話題でした。 パソコン通信のNiftyserveのFYHPPC,FMODEMに情報が集中しています。 (FHPPCフォーラムのホームページがインターネット上にあります。最新ライブラリ登録情報などがあり結構 便利です。 何と言っても単3乾電池2本で、1ヶ月以上使えちゃうところが強みです。 スケジューラやメモ、目覚まし時計などに普通に使っていて2ヶ月ぐらいは持ちます。 電池がなくなっちゃってもキオスクで電池を買えるので非常時も安心。 赤外
Final Scheme Requests for Implementation [訳注] 以下で表題が日本語で書かれてる SRFI は日本語訳が完了しています。 現在 SRFI-13 を翻訳中 (9月15日開始) SRFI 0: フィーチャベースの条件展開 草案: 1999/01/05-1999/04/04 改訂: 1999/04/20 確定: 1999/05/07 SRFI 1: リスト ライブラリ 草案: 1998/12/22-1999/03/09 改訂: several times 確定: 1999/10/09 SRFI 2: AND-LET*: an AND with local bindings, a guarded LET* special form 草案: 1998/12/28-1999/02/28 改訂: 1999/02/09 確定: 1999/03/01 SRFI 4
Scheme 言語 プログラミング言語 Scheme に関するページです。 Scheme で他言語の機能を実現するには [工事中] ガーベージ コレクション技法 Scheme、Perl、Ruby などのスクリプト言語で使用されるメモリ管理方式である ガーベージ コレクションの技術的な解説です。(まだ不完全) Scheme 関連翻訳プロジェクト Scheme 関連のドキュメントを翻訳しましょうプロジェクトです。 Scheme 関連用語対訳表 随時更新していきます。「こういう訳のほうがいいんじゃないか？」などのご意見がありましたら何でも箱まで、どうぞ。 SRFI 勝手に翻訳プロジェクト [進行中] SRFI とは Scheme 言語の拡張機能を標準化するコミュニティのことです。その SRFI のドキュメントを勝手に翻訳して公開するプロジェクトです。プロジェクトに参加し
Langphilia! / KL1 / KLIC-3.003 / Patch くりっく このページでは、KL1言語処理系 KLIC-3.003 の不具合をいくつか修正します。 KL1言語やKLIC処理系については他の文書を参照して下さい。 Licence KLIC-3.003のライセンスに準じます。基本的に利用・改変・再配布自由です。 修正部分の著作権は私たち（五十嵐宏および高木祐介、上田研）にあります。 修正を加えたことに起因するどのような被害についても、 私たちが責任を負うことはありません。御自分の責任で修正を行なって下さい。 この宣言は、私たちが修正コードを自由に取り扱うための保険です。 修正コードの使用者に対して、私たちが金銭その他の要求をすることはありません。 （要約：邪魔しないでね。こっちも邪魔はしないから。） Tar balls klic-3.003.tgz 元版 = ftp
www.ueda.info.waseda.ac.jp/~shibuya
English 上田研究室 2023-02-20 uedalab このページに関するお問い合わせは以下にご連絡ください
www.ueda.info.waseda.ac.jp/~inagaki
Opteron の性能測定 2004/9/21: Intel Compiler 8.1(EM64T) で姫野ベンチ 2004/8/19: NPB 3.1 追加 2004/4/7: Itanium2 追加, 姫野ベンチ（並列版）追加 2004/4/5: -O0 について検証して加筆修正 2004/4/3: とりあえずこのページができる x86_64 の力は如何ほどなのかをベンチマークソフトを使って調査してみようと いうわけで。自分でベンチマークソフトを書いていない時点でやる気が疑われ (ry 今回使っている計算機
「どのブラウザに向けてページを作る？」のページを追加(1998/11/01)。 世界時計のサマータイム対応版を追加(1998/10/28)。 独学JavaScriptをダウンロードしてオフラインで読めるように、zip形式で圧縮したものを用意しました。 [ 98年11月15日版(TAR+GZ形式) djs981115.tar.gz (75k) ] [ 98年11月15日版(ZIP形式/PC向け) djs981115.zip (75k) ] JavaScriptとは何だろう htmlへJavaScriptを埋め込む 変数とif文 変数 ちょっと詳しく コメント 関数 for文 JavaScriptに対応していないブラウザに迷惑をかけないために 文字列の扱い FORMとの連動(buttonクリック) FORMとの連動(inputフィールド) FORMとの連動(inputフィールド)[改良版 IE
www.ueda.info.waseda.ac.jp/~yajima
シリアルポートの使い方@windows ↑ ここでは、シリアルポート(COM port, serial device, RS232c どの名称が一般的？) をWindows上で扱う方法について解説します。 シリアルポートの使い方@windows 参考：linux上でのシリアルポートの扱い DOSプロンプトの問題点 cygwinの利用 通信速度の設定のしかた その他の方法 まとめ 参考：linux上でのシリアルポートの扱い ↑ linux上では、シリアルポートはファイルと同じように扱うことができます。 COM1は通常/dev/ttyS0というファイルとして定義されており、 cat hoge.txt > /dev/ttyS0 # シリアルポートへの出力 cat < /dev/ttyS0 > hoge.out # シリアルポートからの入力 と書くことができます。 また、C言語のプログラム中では、
LMNtal, a unifying language and model checking tools † LMNtal (pronounced "elemental") is a programming and modeling language based on hierarchical graph rewriting. It was designed to be a substrate language of diverse computational models, especially those addressing concurrency, mobility and multiset rewriting, including (Colored) Petri Nets, Interaction Nets, the Pi-Calculus, Chemical Abstract
www.ueda.info.waseda.ac.jp/~toyama
UNIXドメインのプロセス間通信プログラムの例 いきなり、ネットワークを使って離れたマシン間で通信を行う (INETドメインのソケットを使う)ようなプログラムを書くのはちょっと難しいので、 まずは一つのマシンの中で起動されているプロセス同士で通信を 行う(UNIXドメインのソケットを使う)方法を説明します。 では、早速プロセス間通信を行うプログラムを書いてみましょう。 プロセス間通信を行うには当然、メッセージを送信する側と受信する側の二つのプログラム を書く必要があります。 まず最初は簡単なサーバークライアント型のプログラムを作ってみましょう。 クライアント側ではユーザーからのキー入力を受け付け、入力された文字列をサーバーに 送ります。サーバーは、受け取った文字列のアルファベットの部分を大文字に変換して クライアントに送り返します。 サーバープログラムの例(server.c) クライアント
次のページ
このページを最初にブックマークしてみませんか？
『Ueda Lab. Homepage』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
)
