So you're new to Scheme and want to learn this wonderful programming language? You found your place. Look at the following pages to get started, or read howto-learn-scheme for an overview. External Resources category-texts - Texts about Scheme scheme-papers scheme-resources scheme-presentations - Videos or presentations on scheme related topics Internal resources The basics what-is-scheme scheme-v

アセンブラでの高速化 はじめに 共通/80286以前 80386以降 80486以降 Pentium PentiumPro以降 Pentium4 高速化の例 主な命令一覧 参考文献 はじめに アセンブリ言語でプログラムを書くということは、プログラムに最高の自由度と性能を与えるということである。アセンブリ言語ではコンピュータの持つ機能をすべて使えるので、高級言語では不可能だった処理が可能になるし、高級言語からは見えないCPUの機能を利用してプログラムを高速にしたり、プログラムを小さくしたりすることができる。特にインテルの8086とその後継プロセッサ(86系プロセッサ)の場合、アセンブリ言語で書き直すだけでプログラムが大幅に小さく、そして速くなることは多い。しかし、ただ単純にアセンブリ言語で書いただけでは、コンピュータはその本来の力を発揮しているとは言い難い。コンピュータには、もっと速く実行す

夏合宿2018開催のお知らせ † ACM-ICPC OB/OGの会では、今年も夏合宿を開催いたします。 日程は 2018年9月15日（土）〜 9月17日（月）を予定しております。 詳細や申し込み方法につきましては本ページにて後日ご連絡致します。 募集を開始しました。申込み方法は 詳細ページ をご覧ください。募集締切は8月26日（日）となっております。 ↑ 模擬国内予選2018開催のお知らせ † ACM-ICPC OB/OGの会では，ACM-ICPC 2018年国内予選 の参加チームを対象にした模擬コンテストを開催致します。 3時間でのチーム戦など，ICPC特有の感覚に本番前に触れる貴重な機会となります。初参加の方から経験豊富な方まで，みなさまぜひご参加ください。 日時は2018年7月1日（日）14:00-17:00を予定しております。 詳細につきましては 案内ページ をご参照ください。 [

CmdArgs is a Haskell library for defining command line parsers. The two features that make it a better choice than the standard getopt library are: It's very concise to use. The HLint command line handling is three times shorter with CmdArgs. It supports programs with multiple modes, such as darcs or Cabal. A very simple example of a command line processor is: data Sample = Sample {hello :: String

Overview Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. (See the list of supported provers below.) Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, s

The Clang Static Analyzer is a source code analysis tool that finds bugs in C, C++, and Objective-C programs. Currently it can be run either from the command line or if you use macOS then within Xcode. When invoked from the command line, it is intended to be run in tandem with a build of a codebase. The analyzer is 100% open source and is part of the Clang project. Like the rest of Clang, the anal

Problem Archives The problems archives table shows problems 1 to 898. If you would like to tackle the 10 most recently published problems, go to Recent problems.

The Manticore Project Manticore is a high-level parallel programming language aimed at general-purpose applications running on multi-core processors. Manticore supports parallelism at multiple levels: explicit concurrency and coarse-grain parallelism via CML-style constructs and fine-grain parallelism via various light-weight notations, such as parallel tuple expressions and NESL/Nepal-style paral

Cutting-edge science delivered direct to your inbox. Join the Research Roundup mailing list.

This is the web site for a textbook about practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation. I'm following an unusual philosophy in this book, so it may be of interest even to long-time Coq users. At the same time, I hope that it provides an easier introduction for newcomers, since s

大学 | 00:36大学で論理学のテストがありました。そこで、ゲーデルの不完全性定理を勉強したのですが、ゲーデル文　A[y] = ∃w (Substx[y, y, w] ∧ (∃ p. Proof[w, p, 0]))として、A[x] の符号を z として　G = A[num(z)]とYコンビネータ　Y = λf·(λx·f (x x)) (λx·f (x x))って似てるなーって思いました。どこが似てるかっていうと、「そいつに自身を適用」みたいなことがどっちも2回出てくるところ。ゲーデル文は外側で「A[num(z)]」ってやって1回目で、その中でさらに 「Substx[y, y, w]」 ってやって2回目。Yコンビネータは外側で 「(λx·f (x x)) (λx·f (x x))」 ってやって1回目で、内側で「x x」ってやって2回目。自分の名前を使わずに自分を得たいという目的からして

Programming Languages Google's Python Class This is a complete online introduction to Python programming, including writen materials, lecture videos, and coding exercises. The class is geared for people with a little bit of programming experience, and is used within google to introduce Python. Below are video-taped lectures from Google Video on various technology areas. These videos are great oppo