日本物理学会誌（物理学70の不思議）1877年創立、ノーベル物理学賞12名・ 同化学賞3名の受賞者を数える、会員約16,000名の学会です。
ソフトウェア特論 講義資料 C言語によるLisp処理系
Next: 1 Lisp処理系: Xlisp Up: Software IV Top ソフトウェア特論 講義資料 C言語によるLisp処理系 稲葉 雅幸 ここでは，LispのインタプリタをC言語で記述すること を紹介します．Lispの処理系は，read-eval-printを 繰り返すものですが，C言語でread, eval, print のそれぞれがどのようになるかを見ます． そして，Lispの処理系においては，データをreadした時， データを評価して計算中に新たにデータを生成したり， 新しいデータを結果として返したりします． 通常の計算機内で直線状に並んだメモリデータで， データの配列や長さが自由になるリストデータをどのように 表現するかが重要になります．そして，いらなくなった データがあった場合に，どのようにそのメモリデータを 再利用するのかについての仕組みを決める必要があります．
Glibc malloc internal
2. 今日は何の話？ libc でもっとも良く使われる関数、 malloc と free の実装の解説 もっと一般的に言うと、プロセスのアドレス空間のうち、 heap 領域とよばれる、場所を操作する関数の説明 解説というと聞こえはいいが、そんな大層なものじゃない 3. Linux での process address space model kernel stack text mmap data bss heap 矢印はデータ量の増加と ともに、伸びる方向 使用中 使用中 使用中 今日は、ここ、 heap と呼ばれる領域のお話 low high free free free 4. 古典的 malloc プログラミング言語 C （いわゆる K&R) で紹介された初期の Unix の malloc 実装 使用中 使用中 使用中 free listの head 使用中 ・ free list を
History of Lisp
Next: Introduction History of Lisp John McCarthy Artificial Intelligence Laboratory Stanford University 12 February 1979 This draft gives insufficient mention to many people who helped implement LISP and who contributed ideas. Suggestions for improvements in that directions are particularly welcome. Facts about the history of FUNARG and uplevel addressing generally are especially needed. Introduct
On the Approximation Method and the P versus NP Problem
First of all we give some reasons that "natural proofs" built not a barrier to prove P $\not=$ NP using Boolean complexity. Then we investigate the approximation method for its extension to prove super-polynomial lower bounds for the non-monotone complexity of suitable Boolean functions in NP or to understand why this is not possible. It is given some evidence that the approximation method alone c
ITまんが 2017年版 ～ ITが楽しく分かるマンガを集めてみました
ネット上にはたくさんのIT系のコンテンツがあふれています。そのほとんどは文章として書かれていますが、一部にはマンガの形で面白く分かりやすくしたものもあります。ここでは、マンガ化されたITコンテンツを集めてみました。毎年お盆休み前の恒例企画、ITまんがの2017年版です。 もしここに掲載していないITまんがをご存じでしたら、Twitter（@publickey）などで教えてください。毎年更新する予定です。 2017年版の新着ITまんが New! 爆裂通信！スマホバトラー 世の中に「格安スマホ」が浸透した時代。子供たちはスマホ同士をぶつけ合うバトルに無朝雨になっていた。そこへ現れた謎の黒マントの男。彼の目的とは一体…… New! LINE@で戦え！ 空手マーケター春香 空手一筋だった女性がアパレル業界に飛び込み、EコマースとO2Oマーケティングに挑戦する。使える武器はLINE@だけ。空手で培っ
数理論理学(平成29年度)関連情報
講義ノートおよび配布資料 注意 講義ノートは講義前に準備した手書きノートです. 実際の講義はアドリブが入りがちなので, このとおりに話したとは限りません. ダブり・省略・順序変更が発生する可能性があります. 第1回 (6/13) 全体の導入。命題論理の論理式の構文論。 講義ノート1. 講義ノート2. (小テストなし) 第2回 (6/15) 真理値表と真理値割当て。トートロジー。 講義ノート1. 講義ノート2. 小テスト 授業で配布した小テスト解答例に間違いがありました。ごめんなさい。次回の授業で訂正します。 第3回 (6/20) 充足可能性。命題論理のコンパクト性。(講義ノート2枚目の(エ)の証明まで) 講義ノート1. 講義ノート2. 小テスト 第4回 (6/22) 命題論理のコンパクト性(続き)。 真理関数。論理的同値性。選言標準形。 講義ノート1． 講義ノート2． 配布資料 小テスト
A curated collection of answers that Rich gave throughout the history of Clojure
rich-already-answered-that.md Rich Already Answered That! A list of commonly asked questions, design decisions, reasons why Clojure is the way it is as they were answered directly by Rich (even when from many years ago, those answers are pretty much valid today!). Feel free to point friends and colleagues here next time they ask (again). Answers are pasted verbatim (I've made small adjustments for
NECを退職し、新会社を立ち上げました。 - KaiGaiの俺メモ
ご報告が遅れましたが、6月30日付で新卒の2003年から14年あまり勤務したNECを退職しました。 また、本日、東京法務局品川出張所においてヘテロDB株式会社の登記申請を行い、また、併せて新会社のチーフアーキテクト兼代表取締役社長に就任しました。 今後は、前職では実現できなかった、GPUやSSDなどヘテロジニアスな計算機資源を活用する事で、高性能、低価格、使いやすさを両立するデータベース製品の事業化を目指していく事になります。 どうぞよろしくお願いいたします。 web: http://heterodb.com/ 弊社が入居する西大井創業支援センター（品川区） 10年以上も勤務した会社を辞めてスタートアップを立ち上げるというのは、おそらく人生の中でも上位に食い込むビッグイベントの一つだと思うので、今の決意や創業に至る一連の流れについて記録を残しておこうと思います。 （書き下してみたら意外と長
理解してるつもりの SSL/TLS でも、もっと理解したら面白かった話 · けんごのお屋敷
apache や nginx の設定をしたことがあれば以下の様な行を見たことがある人も多いのではないでしょうか。(※ 下記は nginx の設定。apache の場合は SSLCipherSuite です。) ssl_ciphers AES128-SHA:AES256-SHA:RC4-SHA:DES-CBC3-SHA:RC4-MD5; これが暗号スイートを指定している箇所です。そしてこの部分、わけのわからない文字列の羅列なのですごく取っつきにくくて何を指定したらいいかわからないので、コピペしてしまう人も多いんじゃないでしょうか。かくいう私も数年前に趣味で TLS 対応の Web サービスを作った時はコピペで済ませていました。この暗号スイートは、以下のような OpenSSL のコマンドを使って対応している一覧を見ることができます。 $ openssl ciphers -v AES128-SH
Creating Languages in Racket - ACM Queue
Creating Languages in Racket Sometimes you just have to make a better mousetrap. Matthew Flatt, University of Utah Choosing the right tool for a simple job is easy: a screwdriver is usually the best option when you need to change the battery in a toy, and grep is the obvious choice to check for a word in a text document. For more complex tasks, the choice of tool is rarely so straightforward—all t
The Early History Of Smalltalk
original pdf / make corrections The Early History Of Smalltalk Alan C. Kay Apple Computer kay2@apple.com.Internet# Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Free Intro to Python Course | Udacity
Interview with Ernest Hebert, Award-Winning Author and Professor of Creative Writing at Dartmouth College
相転移プロダクション
Recognize patterns in Java code to understand and transform applications
Getting Multiple Text Snippets into WorkFlowy Without Skipping a Beat
https://itaken1.jimdo.com/2011/03/09/%E5%A5%B3%E6%80%A7%E3%81%AB%E3%81%A8%E3%81%A3%E3%81%A6%E6%95%B0%E5%AD%A6%E3%81%AF%E3%81%A9%E3%81%AE%E3%82%88%E3%81%86%E3%81%AA%E6%84%8F%E5%91%B3%E3%81%8C%E3%81%82%E3%82%8B%E3%81%AE%E3%81%8B-%EF%BC%91%EF%BC%98%E4%B8%96
(fourteenth RacketCon)
http://www.ccis.northeastern.edu/home/matthias/manifesto/