さあ、2020年の世界へ無ければ作れposted by liva 2011.07.01 21:00 最近、dynamic dnsの調子が悪いです。dnsの書き換えを行っているddclientというプログラムが正常に動作していないようで・・・。 というわけで、このブログもちょこちょこ落ちる事になると思います。（事実、ここ数日落ちてた）原因がイマイチよく分からないので、うちの光回線のグローバルIPが変わるまで待ってから検証しようかな、と考えています。（ddclientがキャッシュを持っているらしくて、現状では正常に動作しているのか、そうでないのか判断できない） セキュリティ＆プログラミングキャンプについて思うこと（KOZOSのブログ） 坂井さんのブログを訪れてみたら、こんな記事がありました。 「OS自作組が無くなったけど、それなら自分たちで作ればいいじゃないか！」という話ですが、ぜひとも、僕が
vallog
管理者に問い合わせしろっていう例のあれ。 VPN接続失敗。ネットワーク、事前共有鍵など設定を確認し、再度お試しください。問題が解決しない場合は、ネットワーク管理者にご連絡ください。 VPN connection faileVPN Connection failed. Please check your configuration, network, connection and pre-shared key then retry your connection. If the problem persists, contact your network administrator for help. ログメッセージ "No response from the peer, phase1 retransmit reaches maximum count" 今回はWindows11を22H2にア
プログラマが好きそうな読み物100
► 2022 (2) ► 10月 (1) ► 2月 (1) ► 2021 (51) ► 11月 (2) ► 10月 (2) ► 9月 (4) ► 8月 (4) ► 7月 (4) ► 6月 (4) ► 5月 (3) ► 4月 (10) ► 3月 (7) ► 2月 (4) ► 1月 (7) ► 2020 (155) ► 12月 (7) ► 11月 (10) ► 10月 (8) ► 9月 (8) ► 8月 (11) ► 7月 (21) ► 6月 (19) ► 5月 (14) ► 4月 (20) ► 3月 (13) ► 2月 (10) ► 1月 (14) ► 2019 (293) ► 12月 (11) ► 11月 (12) ► 10月 (24) ► 9月 (29) ► 8月 (27) ► 7月 (36) ► 6月 (40) ► 5月 (24) ► 4月 (35) ► 3月 (42) ► 2月 (6
なぜ Lisp なのか Quote...Unquote ダグラス・R. ホフスタッター著, 竹内郁雄ほか訳『メタマジック・ゲーム』 ミンスキー「ゲーデルは Lisp を思いついておくべきだった。もし彼が Lisp を思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっていただろう」 ゲーデルの証明の一番難しいところは、数学的体系に自分自身を語らせるところにある。天才のひらめきが何段階か必要になる。しかし、Lisp は、少なくともゲーデルが必要としていた意味で、まさに自分自身を直接語ることができる。 ゲーデルは Lisp を発明した！ ダイクストラ「謙虚なるプログラマ」 LISPは冗談まじりに「コンピュータを誤用するための、もっとも知的な方法」と言われることがありますが、私はこれはすばらしい褒め言葉だと思います。なぜならこれはあらゆる種類の自由を可能にしているからです。LISP
普通のやつらの上を行け ---Beating the Averages--- 著者：Paul Graham Copyright 2001 by Paul Graham これは、Paul Graham: Beating the Averages を、原著者の許可を得て翻訳・公開するものです。 プロジェクト杉田玄白正式参加テキスト。 <版権表示> 本和訳テキストの複製、変更、再配布は、この版権表示を残す限り、自由に行って結構です。 (「この版権表示」には上の文も含まれます。すなわち、再配布を禁止してはいけません)。 Copyright 2001 by Paul Graham 原文: http://www.paulgraham.com/avg.html 日本語訳：Shiro Kawai (shiro ＠ acm.org) <版権表示終り> 文中、Eric Raymondの "How to bec
ハッカー界小史 A Brief History of Hackerdom <http://www.catb.org/~esr/faqs/hacker-hist.html> 著者 エリック・レイモンド <esr@thyrsus.com> 訳者 山形浩生 <hiyori13@alum.mit.edu> ©1998 Eric S. Raymond, ©1999 YAMAGATA Hiroo 本文書はGPLのもとにおかれておるのだ。コピー改変再配布してもよろしいが、そいつもちゃんとGPLにして、版権表示もちゃんと入れるのだぞ。 この文書の古い版に基づく、中谷千絵の古い訳があるそうだけれど、今回の訳ではまったく参照していない。あと、倉骨彰訳でこの文の別の訳が「真のプログラマたちの国 概略史」というタイトルで、『オープンソースソフトウェア』（オライリー）に収録されるはずだが、とっても不安の多い代物にな
■1 (株)永和システムマネジメントのフェローに就任していました TL;DR 1月末日付でesmincの「正社員」ではなくなりましたが、esm.co.jpのメールアドレスは生きております。引き続きよろしくお願いいたします。 current status のまとめ: 一般社団法人日本Rubyの会 理事 株式会社永和システムマネジメント フェロー Asakusa.rb幹部(自称); 最近欠席ぎみ 個人事業主(ソフトウェアをつくり、とどけることにまつわる様々なこと) こんな気分: 保険証を会社に返した途端に家族の体調が崩壊して戦々恐々です……社会は厳しい。 さしあたっては、まだ引き継げてないギョームをどうにかしつつ——先に個別にご連絡を差し上げるべき方々につきまして、ご挨拶が遅れておりますことを、この場を借りてお詫び申しあげます——、組織の運営からはちょっと距離を置いて、主に東京支社のメンバーと
According to wikipedia, a revolution (from the latin revolutio, “a turn around”) is a fundamental change in power or organizational structures that takes place in a relatively short period of time. Somehow, I believe this is exactly what Ruby has done in the programming world, especially with the help of Rails. Over the last few years, Ruby lead a mini revolution in the midst of software developme
1 はじめに 成立ちに2000年以上の時代差がある老子のTaoism※1とプログラミング※2に直接の関係があるというのは，強引にすぎるというものだが，それにしても，多くのコンピュータ科学者や技術者 (実は我々も含まれるのだが) が老子のTaoismの引きつけられて，それをなんらかの形で明言しているのは単なる偶然の一致ではあるまい．西欧文化の根源であるギリシャ哲学を除いて，このような古来の (非西欧的) 哲学がコンピュータの分野で，比較的多く論じられたり，引用されたりすることはまれであろう． 本稿では，我々自身とTaoismの (主に偶然による) 関わりと，我々に目についたTaoismとコンピュータ科学との関わりの事例についていくつか紹介するとともに，こういった一見不思議なリンクが一体なにに根ざしているか，若干の考察を加えたい． これからプログラミングは産業的にも技術的にもある意味で不透明な
国産 Lisp 専用マシン ELIS のマルチパラダイム言語 TAO について．共立出版 bit に連載したもの．
3月3日に東京大学で竹内郁雄教授の最終講義がおこなわれた． なお，今回は参加者が多かった他の最終講義の参加人数から推測して340名の会場を用意したのだが，予想をはるかに上回る参加人数（400名くらい？）で，一部の人達は立ち見になってしまった．また，鵺シール・竹内郁雄最終講義スペシャルバージョン（普通は文字がオレンジ，これは文字がブルー）も300枚用意したのだが，全然足りなくて一部の人達には渡すことができなかった．この場を借りて準備不足をお詫びしたい． なお，最終講義の様子は二台のビデオカメラで撮影してある．大学の許可が出れば，公開されるかもしれないので，その時はこのブログでもお知らせしようと思う． さて，今回の講義の題名は「研究・開発は楽しく」である．竹内先生によると，通常の最終講義で喋る内容はすでに別の場所で喋ったので，それは講演の資料として配ることにして，最終講義では別の話にしたいとい
2009年1月、Cyan設計者 林拓人氏とLispの伝道師 竹内郁雄氏との対談「Cyanを設計した高校生、5カ月で5つの言語を習得」が大きな反響を呼んだ。その原因の1つは、竹内氏が発したひと言「わたしの持論ですが、国語ができる（＝日本語できちんとした文章が書ける）人じゃないとプログラムは書けない」だ。これについてネットでは同意する意見が多かったものの、記事中で根拠が明らかにされていなかったため議論が紛糾した。そこで編集部は竹内氏に詰め寄り、「わたしの持論」について詳しく説明してもらうべく寄稿をお願いした。国語力とプログラミング力には本当に相関関係があるのだろうか。 事のいきさつ～Cyan設計者 林くんとの対談で発してしまったひと言が思わぬ反響を呼ぶ Cyan言語で経済産業大臣賞を受けた開成高校の林拓人くんと対談（「Cyanを設計した高校生、5カ月で5つの言語を習得」）しているうちに、つい調
Happy Hacking Keyboard開発の発端となった、和田先生（現東京大学名誉教授）の論文を掲載しました。 postscript版は pfutechreview.ps.gz （gz圧縮、145KB）です。 1.はじめに ことし(1991 年)の初夏のころ教授室のワークステーションを Sun3 から Sparkstation2 にかえた。なかなかはやくて快適になったが、やはりいつも話題になるように、古い計算機と新しいのとのキーボードの配列に微妙な違いがあり、しばらくは憂欝な気分であった。使っているうちにどうやら慣れてはきたが、これは計算機のユーザーにとって大きな問題だと思う。せっかくこのような天下国家を論じる機会をいただいたのだから、今日はキーボードについてすこし書かせてほしい。 40年ほど前に登場してから今日まで、計算機はいろいろな面で、長足の進歩を遂げてきたが、一向にあい変
この存命人物の記事には検証可能な出典が不足しています。 信頼できる情報源の提供に協力をお願いします。存命人物に関する出典の無い、もしくは不完全な情報に基づいた論争の材料、特に潜在的に中傷・誹謗・名誉毀損あるいは有害となるものはすぐに除去する必要があります。 出典検索?: "竹内郁雄" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2020年4月) 金沢大学附属高等学校を経て[2]、1969年東京大学理学部数学科卒業、1971年東京大学大学院理学系研究科数学専攻修士課程修了し、日本電信電話公社電気通信研究所入所。 1987年NTTソフトウェア研究所ソフトウェア基礎技術研究部グループリーダ。1989年NTT基礎研究所情報科学研究部グループリーダー、1994年NTTソフトウェア研究所広域コンピューティン
非公開サイト
サイトの構築。作品の販売。ブログの投稿。この他にもさまざまな機能があります。 ログイン サイトをはじめよう 非公開サイト このサイトは現在プライベート設定になっています。
（Twitterから参照するためのメモです） まずそもそも「関数」は「同じ形の計算を何度も書かないための仕組み」であることを十分に理解する（させる）。その上で、 sum(0) = 0 sum(1) = 0+1 sum(2) = 0+1+2 sum(3) = 0+1+2+3 sum(4) = 0+1+2+3+4 ...も「同じ計算を何度も書いている」から、 sum(0) = 0 sum(1) = sum(0)+1 sum(2) = sum(1)+2 sum(3) = sum(2)+3 sum(4) = sum(3)+4 ...と書き換える。これを一般化すると sum(0) = 0 sum(n) = sum(n-1)+n （n>0の場合）つまり sum(n) = if n=0 then 0 else sum(n-1)+nとなる 追記：n<0の場合は気にするな。 （高校で習うはずの）数学的帰納法
Church Numerals と Lambda Calculus アルゴリズムとデータ構造入門 補足 後半は佐藤雅彦先生に教えてもらいました. SICP Exercise 2.4 〜 Exercise 2.6 誤解を恐れずに大雑把にいうと, λ計算では名前つきのシンボル (名前付きの手続き) による再帰呼出しや special form が使えないところが Scheme と違うところです. そのため, λ計算を Scheme で行うためにはいろいろな工夫が必要となります. そのポイントは closure (閉包) と呼ばれる構造です. 自然数 n の Church numeral を c(n) とすると, c(n) f x = (f ... (f x)), ただし, f は n 回出現. となることを利用します. まず, c0 と successor を定義します. (SICP Ex.
Standard ML of New Jersey (abbreviated SML/NJ) is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation. SML/NJ is free, open source software. What's New [2024-03-14] Version 110.99.5 is released. This version is primarily a bugfix release with some additional improvements. See the README for details. [2023-12-10] Release 2023.1 of the developm
Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Caml supports functional, imperative, and object-oriented programming styles. It has been developed and distributed by INRIA, a French research institute in computer science and applied mathematics, since 1985. The OCaml system is the main implemen
あるいたずらが原因で過失傷害を問われ、少年院に送られたロレンツォ（シェイクス）、マイケル、トミー、ジョンの4人の少年を待っていたのは、看守たちからの性的虐待だった。圧倒的な暴力を前になすすべもなく、少年たちは心に深い傷を負う。 ある日の院内のフットボールの試合中、シェイクスたちはリーダー格でギャングの息子であるリゾを引き込み、日頃の虐待の恨みを暴力で晴らすが、その後リゾは看守らに「殴る場所がなくなるまで」殴られて死んだ。 やがて成人した4人のうち、ジョンとトミーがレストランでかつての看守であるノークスに出会い、射殺してしまう。検事補になり、今事件を担当することになったマイケル、新聞記者となったシェイクスは2人を無罪に、そして少年院であった虐待を公にすることを誓い、奮闘する。 まず、呑んだくれの弁護士スナイダーにマイケルが密かに用意した台本どおりに弁護をさせ、裁判に証人として出廷した元看守の
『ミスティック・リバー』（Mystic River）は、2003年のアメリカ合衆国の映画。クリント・イーストウッド監督・製作・音楽。アメリカ合衆国の作家デニス・ルヘイン作の同名のミステリー小説（日本語版はハヤカワ文庫）を原作としている。題名はマサチューセッツ州を流れる実在の川である。 『許されざる者』『マディソン郡の橋』『スペース カウボーイ』など、90年代に数々の名作を世に送り出してきたイーストウッド監督による重厚なサスペンス・ドラマである。1つの殺人事件を通して四半世紀振りに再会した、ある過去を持つ幼馴染の3人の男性の運命を描く。それぞれに交錯する嘘や疑いが、事件を思わぬ方向へと発展させてしまう描写が高く評価され、第76回アカデミー賞で作品賞を始めとした6部門にノミネートされ、ショーン・ペンが主演男優賞、ティム・ロビンスが助演男優賞をそれぞれ獲得した。 ボストン近郊のミスティック川沿い
新訂 新訓・万葉集〈上〉 (岩波文庫)作者: 佐佐木信綱出版社/メーカー: 岩波書店発売日: 1954/09メディア: 文庫買ひ忘れ。下卷のはうを寢しなに音讀してゐると、その調べのうつくしさに感じることがあるのだけれど、氣がつくと眠ってしまってゐることが多い。
Oh wow, what an idea. a somewhat self-cooled environment with Sun Always On™Nairnand you thought real estate in Manhattan was expensive_nikoLooks like an 80's vending machine eyeball gum ballprophetonehttps://www.gumballs…prophetone^ Quite a cool planet, wonder if it has some crazy sea creatures. Defo a cheap tasting chewing gum ball style @prophetonePhanLoStill, it's not flat.ApeRobot
This document discusses the Coq proof assistant. It provides examples of defining concepts like booleans, natural numbers, and functions in Coq. It demonstrates tactics for proving properties like De Morgan's laws. It also shows how to define recursive functions over natural numbers like addition and equality testing. The document aims to introduce basic concepts and usage of the Coq system throug
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, the Verified Software Toolchain f
SHIPSの店の前を通るといつもハーブのような花のような良い香りがする。 その香りに誘われてお店の中にはいったり（置いてある洋服やバッグも素敵！）、わざわざ回り道してSHIPSの前を通ったり。 なんの香りだろう？ お店のかたに尋ねると、５種類のフレグランスキャンドルを売り場のコンセプトごとに使い分けていて、レディス２種類、メンズ３種類の香りがあるのだそう。 同じ香りのエアミストが販売されていて、見本をスプレーして香りを試すことができる。 レディスの２種は「No.１ WOMEN'S CASUAL」と「No.2 WOMEN'S DRESS」、 メンズの３種は「No.3 MEN'S CASUAL」と「No.4 MEN'S DRESS」、「SHIPS JET BLUE」。 エッセンシャルオイルのブレンドで作られていて、使われているオイルによって華やかな香りだったり、きりっとした香りだったり。 ひと
About myself: Tohoku University researchers directory (東北大学研究者紹介), researchmap, 略歴・主要業績(PDF) Our lab's Web site (研究室ホームページ) About student application: We receive many spam-like e-mails which are often too general and naive, like "I want to study programming/software engineering/computer science" or "I am good at C/C++/Java" for example. If you are interested in joining our research group, please r
λ計算 1 ' & $ % λ計算 胡振江 東京大学計数工学科 2006 年度 λ計算 2 ' & $ % 復習: 3 年の「プログラムの数理」 • 式：プログラム • 値（式の正規形）：計算の結果 • 簡約：計算 その理論背景は？ λ計算 3 ' & $ % 教材 井田哲雄、「計算モデルの基礎理論」（第４章）、岩波講座ソフトウェア科学１ ２、岩波書店、１９９１年、3700 円. (ISBN4-00-010352-0) λ計算 4 ' & $ % 参考資料 • H.P.Barendregt, ”The lambda calculus: its syntax and semantics”, Studies in logic and the foundations of mathematics, v.103, North-Holland, 1984. (ISBN 044487 5085).
Objective Caml 入門五十嵐 淳 京都大学 工学部情報学科計算機科学コース 大学院情報学研究科知能情報学専攻 e-mail: igarashi@kuis.kyoto-u.ac.jp September�24, 2007 Contents Chapter�1�� 1.1��関数型言語 ML と Objective Camlについて 1.1.1��ML・Objective Caml の特徴 1.2��参考書，資料，マニュアル 1.3��環境設定 Chapter�2�� 2.1��インタラクティブコンパイラを使う 2.1.1��簡単な使い方 2.1.2��その他: ファイルからのプログラムの読み込み・コメント 2.2��基本データ型とその演算 2.2.1��unit型 2.2.2��int型 2.2.3��float型 2.2.4��char型 2.2.5��string型 2
1 Haskell 2 3 4 Haskell ( ) 5 Haskell Lisper 6 Haskell = Haskell 7 Haskell Haskell ... 8 qsort [8,2,5,1] [1,2,5,8] "Hello, " ++ "world!" "Hello, world!" 1 + 2 div 8 2 (+) 1 2 8 ‘div‘ 2 3 4 map even [1,2,3,4] [False,True,False,True] 9 not . even getLine >>= putStrLn 10 main = putStrLn "Hello, world!" average x y = (x + y) / 2 if collatz n = if even n then n ‘div‘ 2 else n * 3 + 1 subs [] = [[]] sub
Hey yo! This is Learn You a Haskell, the funkiest way to learn Haskell, which is the best functional programming language around. You may have heard of it. This guide is meant for people who have programmed already, but have yet to try functional programming. The whole thing is completely free to read online, but it's also available in print and I encourage you to buy as many copies as you can aff
Haskell is an advanced purely-functional programming language. An open-source product of more than twenty years of cutting-edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency and parallelism, debuggers, profilers, rich libraries and an active community, Haskell makes it easier to produce fle
TL;DR 簡潔で直感的に扱える、宣言的なRust向けのコマンドライン引数パーザーを作りました。 https://crates.io/crates/argopt モチベーション Rustにstructoptというライブラリがあります。これはコマンドライン引数をパーズするライブラリなんですが、僕はこのライブラリが大好きなんです。Rustのライブラリの中で一二を争うほど好きです。なんならコマンドラインツールをRustを書く理由の大部分がこのライブラリの存在といっても過言ではないかもしれません（過言ですけど）。 しかしstructoptも使い続けていると、どうにももっと便利にできるんじゃないのかと思う部分が出てきます。structoptでは名前の通りコマンドライン引数をstructで定義して、それに#[derive(StructOpt)] とStructOptをderiveすることでパーザーのコ
顎関節症（がくかんせつしょう、英: Temporomandibular joint disorder）とは、顎関節部や咀嚼筋などの疼痛、関節音、開口障害といった症状が出る疾患である。顎運動異常を主要症候とする疾患群の総括的診断名であり、その病態には咀嚼筋障害、関節包・靭帯障害、関節円板障害、変形性関節症などが含まれるとされている。 歴史[編集] 顎関節症は、かつて、Costen syndrome[1]あるいはTemporomandibular joint arthrosis[2]のほか、Myofascial pain dysfunction syndrome[3],Internal derangements of temporomandibular joint[4]などと呼ばれていたが、それらは顎関節症と同一のものと考えられている。現在まで、その他に英語名と日本語名をあわせて20種類以上の
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
