Skip to main content

Home/ SmartGuys/ Group items tagged programming

Rss Feed Group items tagged

Filter: All | Bookmarks | Topics Simple Middle
Ken Wakita

Functional programming | Patterns in Functional Programming - 0 views

patternsinfp.wordpress.com/...functional-programming

programming research

shared by Ken Wakita on 01 Feb 13 - No Cached
  • Ken Wakita on 01 Feb 13
     
    Jeremy Gibbson の Patterns in Functional Programming ブログ
Ken Wakita

Open Directory - Computers: Programming: Languages: Visual - 5 views

www.dmoz.org/...Visual

research visualization programming

shared by Ken Wakita on 13 Oct 09 - Cached
  • A visual programming tool designated for easy and quick creation of applications for Windows 95/98/NT/2000
    • Ken Wakita
      Ken Wakita on 13 Oct 09
       
      吉永くん、これ読んどいて
  • Ken Wakita on 13 Oct 09
     
    Visual Programming 言語に関するまとめサイト
Ken Wakita

JetBrains :: Meta Programming System - Language Oriented Programming environment and DS... - 0 views

www.jetbrains.com/index.html

research programming macro

shared by Ken Wakita on 27 Jul 09 - Cached
  • Ken Wakita on 27 Jul 09
     
    渡部卓雄先生から教わった Language Oriented Programming のためのメタシステムのサイト。荒井くんに調べてもらおう。
Ken Wakita

C++ vs OCaml: Ray tracer comparison - 0 views

www.ffconsultancy.com/...comparison.html

ocaml c++ literate programming

shared by Ken Wakita on 20 Oct 10 - Cached
  • Ken Wakita on 20 Oct 10
     
    レイトレーサを C++ と O'Caml で書いた例。Literate programming のよい素材かも。
Ken Wakita

SASyLF: An Educational Proof Assistant for Language Theory - 0 views

www.cs.cmu.edu/SASyLF

programming theory tool software

shared by Ken Wakita on 30 Jul 09 - Cached
  • Ken Wakita on 30 Jul 09
     
    LFやTwelfの流れを汲む証明系。証明木が見易いのが売りのようです。 [Types ML より] If you're planning to teach a programming language or logic foundations course and are thinking about using a proof assistant, you might consider SASyLF. SASyLF (Second-order Abstract Syntax Logical Framework) is an LF-based proof assistant that the same logical foundation and many of the same advantages as Twelf (in particular, variable binding is "built in"). However, it uses a syntax very close to that used for proofs on paper, giving the tool a much gentler learning curve--and much better error messages--than many alternatives.
Ken Wakita

Structure and Interpretation of Computer Programs - 2 views

mitpress.mit.edu/...book-Z-H-20.html

shared by Ken Wakita on 23 Feb 10 - Cached
  • the view that a system is composed of separate objects is most useful when the state variables of the system can be grouped into closely coupled subsystems that are only loosely coupled to other subsystems
  • the flow of time in the system
  • begin
    • Ken Wakita
      Ken Wakita on 23 Feb 10
       
      なぜ begin が必要なのか？ 1. if の各項では一つのことしかできないが、ここでは二つの式を評価したいため 2. 別の解釈はないか？
  • ...3 more annotations...
  • the begin special form
    • Ken Wakita
      Ken Wakita on 23 Feb 10
       
      どうして特殊形式が必要になるのだろうか？ 1. Scheme では関数適用の引数の評価順が定まっていない。 2. 代入の場合、代入の順序が重要だから。
  • (define new-withdraw   (let ((balance 100))     (lambda (amount)       (if (>= balance amount)           (begin (set! balance (- balance amount))                  balance)           "Insufficient funds"))))
    • Ken Wakita
      Ken Wakita on 23 Feb 10
       
      一旦、withdraw を書き直した上で、(let ((balance 100) ...) を挿入することを考える。 (define withdraw *1 (lambda (amount) *2 (if (>= ...) ... ...))) *1, *2 の位置のいずれかに挿入するかで大きな違いとなる。 *1 だと lambda の作成時に束縛が作られる。*2 だと lambda の適用時に束縛が作成される。 では、その結果はどのような違いをもたらすのだろうか？
  • This is precisely the message-passing style of programming
    • Ken Wakita
      Ken Wakita on 23 Feb 10
       
      なにをもって message passing と言っているのか？
    • Ken Wakita
      Ken Wakita on 23 Feb 10
       
      1. やりたい機能をメッセージで選択しているということではないか。 2. object は状態とそれをアクセスする手続きをもっている。状態を持った関数として表現されている。 3. メッセージは関数を選択している？
  • Ken Wakita on 23 Feb 10
     
    SICP 3.1 節
Ken Wakita

Computer Science 732: Type Systems for Programming Languages (Fall 2008) - 0 views

www.cs.uwm.edu/...index-fa08.html

education programming theory

shared by Ken Wakita on 30 Jul 09 - Cached
  • Ken Wakita on 30 Jul 09
     
    SASyLF を採用した CMU での型理論の講義実施例
mana ten

Coders at Work プログラミングの技をめぐる探求 - 0 views

www.amazon.co.jp/4274068471

programming

shared by mana ten on 01 Mar 13 - No Cached
  • mana ten on 01 Mar 13
     
    いわゆるソフトウェア・プログラミング言語会の有名人に著者がインタビューしていく本です。 現在、4章のブレンダン・アイクの途中ですが、彼の章は素晴らしいです。 JavaScriptはこれからどうあるべきか、大学での研究と実務とのギャップなどについて、彼の意見が述べられています。ぜひ学部の頃に読んでおきたかった。 学生室の皆さんだけでなく、先生にもオススメします。 あと関係ないですが、明日2日にscalaconfで東工大に行きます。
Ken Wakita

Department of Computer Science, University of Oxford: Jeremy Gibbons : Public... - 0 views

www.cs.ox.ac.uk/...Jeremy.Gibbons.html

research programming

shared by Ken Wakita on 01 Feb 13 - No Cached
  • Ken Wakita on 01 Feb 13
     
    Jeremy Gibbons の文献リスト
Ken Wakita

PyQt5 tutorial - learn GUI programming with PyQt5 - 0 views

zetcode.com/pyqt5

qt tutorial pyqt python

shared by Ken Wakita on 25 Mar 17 - No Cached
  • Ken Wakita on 25 Mar 17
     
    高野くんが見つけてきたPyQt5のチュートリアル
Ken Wakita

Java 3D Programming.Chapter 4 - 0 views

ex.osaka-kyoiku.ac.jp/...3DJava_Ch04.htm

java

shared by Ken Wakita on 10 May 12 - No Cached
  • Ken Wakita on 10 May 12
     
    Java 3D の retained mode と immediate mode の解説
mana ten

７つの言語 ７つの世界 - 2 views

www.amazon.co.jp/...ref=oh_details_o00_s00_i01

programming

shared by mana ten on 27 May 12 - No Cached
Ken Wakita liked it
  • mana ten on 27 May 12
     
    暇つぶしに購入したのですが、とても良い本です。 Ruby, Io, Prolog, Scala, Erlang, Clojure, Haskellの7つの言語について、その言語を特徴つける要素について解説し、その言語の設計思想を理解していけるような内容になっています。 暇な学生さんで言語系に興味がある方には是非読んでほしいです。
  • Ken Wakita on 28 May 12
     
    まつもとさんの本ですね．まだ読んでませんでした．面白そうですね． Skype ではときどき見かけるけれど，元気ですか．会社は大丈夫？
  • mana ten on 03 Jun 12
     
    あ、元気です。Skypeは普通に会社でもつなぎっぱなしなだけです
Takuya Yoshinaga

きれいなソースコードを書くために必要な、たったひとつの単純な事 - 3 views

d.hatena.ne.jp/...1241962864

programming

shared by Takuya Yoshinaga on 13 Dec 11 - No Cached
  • Takuya Yoshinaga on 13 Dec 11
     
    「すべてに正しい名前を付けて、そして、正しい名前であることを維持する」という鉄の意志
Takuya Yoshinaga

python 版 SICP - 1 views

www-inst.eecs.berkeley.edu/...index.html

programming python

shared by Takuya Yoshinaga on 23 Jan 12 - No Cached
  • Takuya Yoshinaga on 23 Jan 12
     
    berkeley の講義で使われているらしいです．
Takuya Yoshinaga

Type Inference brings JS improvements to Firefox Beta - 0 views

blog.mozilla.com/...type-inference-to-firefox-beta

javascript programming

shared by Takuya Yoshinaga on 21 Dec 11 - No Cached
  • Takuya Yoshinaga on 21 Dec 11
     
    Firefox 9 では JIT に型推論を導入することで実行速度が30％上がったようです
mana ten

Javaの理論と実践: 弱参照でメモリー・リークを塞ぐ - 1 views

www.ibm.com/...j-jtp11225

java programming

shared by mana ten on 27 Jan 12 - No Cached
  • mana ten on 27 Jan 12
     
    Javaでデータの一時キャッシュなどをMapに保存する場合はWeakMapを使うと,メモリリークを防げます.
mana ten

漢(オトコ)のコンピュータ道: lessでソースコードに色をつける - 1 views

nippondanji.blogspot.com/...less.html

programming

shared by mana ten on 10 Nov 11 - No Cached
  • mana ten on 10 Nov 11
     
    タイトルのままの内容
mana ten

lessでソースコードに色をつける（Mac OS編） - YAMAGUCHI::weblog - 0 views

d.hatena.ne.jp/...1320887575

programming

shared by mana ten on 10 Nov 11 - No Cached
  • mana ten on 10 Nov 11
     
    さっきのをMacで試した人
1 - 20 of 71 Next › Last »
Showing 20▼ items per page