コンパイルは(テストではなく)証明である - あどけない話
「プログラムのテストはバグの存在を示すことにかけてはとても効率的な方法ですが、バグの不在を示すことにかけては絶望的なほどに不適切です。プログラムの信頼性を顕著に向上させる唯一の方法は、その正当性に対して説得力のある証明を与えることです」 -- Edsger W. Dijkstra 静的型付き言語では、コンパイル時に型が検査される。この型検査に関連して型推論という機能を持つ言語がある。型推論は、大きく分けて2つの意味で使われているようだ。 命令型言語の多くに見られる型推論：型検査の過程で、省略された型を補うこと 関数型言語の多くに見られる型推論：未知の型を変数として方程式を立て、方程式を解いて未知の型を求めること。型推論自体が型検査の役割を果たす この記事では、後者の型推論を話題にする。 静的型付き関数型言語の利点として、よく「コンパイルはテストである」という説明がなされる。プログラムは式で
Cでのポインタの読み方
Cでのポインタの読み方 Cのポインタの読み方は、ルールを知らないと摩訶不思議です。 ルールを覚えれば、 int (*p[5])[3]; char (*(*fp)(void))(int); なんてのも解読する事ができます。 大事な前程 ポインタを読む際には、「英語で読む」必要があります。 「え～、英語～」 と思う方もいるかもしれませんが、逆に日本語で読む方が大変です。 基本ルール ルール 後置演算子が優先。 関数の() 配列の[] 前置はあとで。 要は、「後ろに何かあったら、後ろが優先」です。 演算子の英語での読み方 * pointer to ... () function returning ... [] array of ... Lesson 1 まず、演算子が単独で出てくる場合です。 Lesson 1-1 pointer to ... int *p; これは、まずpを見ましょう。 i
プログラマーの常識を学ぶ前に (1/2) - ＠IT
本連載は、「プログラマーの常識をJavaで身に付ける」ことを目標としています。Java言語やその文法は一通り理解しているが、「プログラマー」としては初心者、という方を対象とします。Javaコアパッケージを掘り下げることにより「プログラマーの常識」を身に付けられるように話を進めていきたい、と考えています。Javaコアパッケージには、あなたが知らない意外な発見がまだまだあるはずです。そこから、さまざまな「常識」を学びましょう プログラマーの常識を身に付けるのにJavaはうってつけ Javaは登場以来、こつこつとバージョンアップを重ねてきました。先日、Java SE 6がリリースされたばかりです。バージョンアップを繰り返す過程で、Javaコアパッケージはどんどん成長し、また実現できる応用範囲はますます広がっています。さまざまなプログラミングが実現できるJavaコアパッケージを使ってみないのは、も
とほほのJava入門 - とほほのWWW入門
このページの内容は Java 1.4 時代の内容と Java 21 時代の内容が混在しています。順次、Java 21 に合わせて改版していきたいと思います。下記目次の各章に Java 1.4 か Java 21 かを示します。 索引 Javaとは ... Java 21 Javaとは JDKとJRE Javaのエディション(Java SE, Java EE, Java ME) Javaのバージョン Oracle JDKとOpenJDK OpenJDKのライセンス はじめてみよう ... Java 21 JDKをインストールする Javaアプリケーションのサンプル(Hello World) 文法 ... Java 21 コメント(//, /* */, /** */) キーワード リテラル プリミティブ型(boolean, byte, char, short, int, long, float
VisualBasic入門教室
GO BACK Visual Basic 6.0 入門教室について ※これは、Visual Basicの入門用テキストです。――Visual Basicといえば、御存じWindowsプログラミングの定番開発環境です。非常に簡単な操作でプログラム作成が行え、価格も廉価で、プログラミング経 験のない人にも十分使えるわかりやすい言語として広く浸透しています。 巷では多数の解説書が出ており、「さすがにVBの講座なんて今から作っても誰も見ないだろう」と思ってましたが（笑）、思った以上に「使ってみたいけど わからない、教えて」という要望は多いようです。そこで、ごく簡単なものですが、Visual Basicの講座を用意することにしました。 （註――これはver. 6をベースにした入門です。VB .Netは、「Visual Basic .Net入門教室」をご利用下さい）
勉強用ページ
using static System.Console; class Welcome { /// <summary> /// saying hello to all visitors and welcome. /// </summary> /// <param name="args">visitors</param> public static void Main(string[] args) { foreach(string visitor in args) { WriteLine($"Hello {visitor}."); } WriteLine("Welcome to my web page."); } } C# によるプログラミング入門 コンピュータの基礎知識 アルゴリズムとデータ構造 ブログ ようこそ ++C++; へ。 C#・情報工学を中心に勉強用ページとブログを載せています。
Ruby GUIライブラリ - Ruby
RubyでGUIライブラリを使用して、メモ帳を作成した。 Apollo FXRuby VisualuRuby WideStudio wxRuby Apollo 現在、作成中です。 Apolloでメモ帳作成(1)環境を整える Apolloを使用するための環境構築の記録。 Apolloでメモ帳作成(2)ウィンドウを表示する Apolloで基本的なプログラムを作成する。 Apolloでメモ帳作成(3)メニューバーを表示する Apolloでメニューバーを表示する。 Apolloでメモ帳作成(4)開いて保存できるだけのメモ帳 Apolloでシンプルなメモ帳を作成する。 FXRuby FXRuby FXRubyを使ってみた感想。 FXRubyでメモ帳作成(1)環境を整える FXRubyを使用するための環境構築の記録。 FXRubyでメモ帳作成(2)ウィンドウを表示する FXRubyで基本的なプログラム
RubyForge: RubyGems: Project Info
RubyGems is the Ruby standard for publishing and managing third party libraries. Development Status: 5 - Production/Stable Environment: Console (Text Based), Other Environment Intended Audience: Developers, End Users/Desktop, System Administrators License: Ruby License Natural Language: English Operating System: OS Independent Programming Language: Ruby Topic: Build Tools, Systems AdministrationR
2005年度Pythonプログラミング演習(大谷大学 人文情報学科 福田ゼミ)
■ 大谷大学 ＞ 人文情報学科 ＞ 福田ゼミ ＞ 講義ノートメニュー ＞ 2004年度プログラミング演習配付資料 2005年度Pythonプログラミング演習 福田洋一: 2005年1月25日更新 授業で配布するプリントです。HTML版と印刷用のPDF版があります。 「環境の整備・print文・変数の導入」4月12日（HTML | PDF） 「変数、ユーザーの入力を受け取る、条件判断」4月19日（HTML | PDF） 「課題1の講評」5月5日更新（HTML ） 「繰り返し処理（while）、部分文字列」5月10日（HTML | PDF） 「繰り返し処理（for）、リスト、コマンドライン引数」5月17日（HTML | PDF） 「テキストファイルを読み込む」5月24日（HTML | PDF） 「テキストファイルを読み込む２」5月31日（HTML | PDF） 「変数・代入・リスト・繰り返しの
IIJ Research Laboratory
ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで
Google JavaScript Style Guide 和訳 — Google JavaScript Style Guide 和訳 v0.1 documentation
この和訳について¶ この文章は Google JavaScript Style Guide を非公式に和訳したものです. 内容の正確性は保証しません. ライセンスは原文と同じく CC-By 3.0 とします. フィードバックは Issue への登録 , あるいは Kosei Moriyama (@cou929 または cou929 at gmail.com) へ直接お願いします. この和訳のリポジトリは こちら です.
かんたん10分プログラミング
皆さん，筆者の園田でございます。「日経ソフトウエアで執筆していた「かんたん10分プログラミング」を，リニューアルしてWeb版でお届けすることになりました。 本稿はプログラム初心者のための学習講座ではありません。言語書式の初期知識，言語そのもののインストール，ソース行単位での説明といったことは省略し，ある程度のプログラミング・スキルを身に付けている方のために，毎回小さなサンプルを提示していくのが主旨でございます。 サンプルは“ちょっと使えるかもしれない”という小品で，毎回100行前後のソースです。厳密なエラートラップなども含まれていません。多くはVBScript，JScript，Perl，Rubyなどのスクリプト言語を使用して作ります。突然JavaやC#がでてくるかもしれません。 「かんたん10分」というタイトルには，ささっとコードを書いて，あるいはサンプル・ソースをコピーして，エディタにペ
[pdf]Swing実習マニュアル 大黒学
大阪にはキャバクラが多い街として「キタ」と「ミナミ」があるんです。 この2つの街にはいろんなキャバクラがあるし、競合店が多いことから他のエリアより時給相場が高い上、新規のお客さんも来店しやすい。 だから、関西のキャバクラで働く上で、キタ、もしくはミナミのキャバクラを選ぶことがすごくおすすめ！ けど、そうは言っても「じゃあキタとミナミだったらどっちの方が良いの？」って思う方もいるかもしれませんよね（笑） なのでここでは、大阪のキタとミナミのキャバ嬢目線から見た違いについて解説していきます！ 大阪のキャバクラ「キタ」と「ミナミ」の違い では大阪のキタとミナミには、キャバクラにどんな違いがあるのか、各項目に分けて紹介していきます！ 大阪のキャバクラで頑張って働いていこうと思ってる方は、自分の目的やキャバ嬢としてのキャリアに合ったお店を選んでくださいね！ お給料 まずはお給料について。お給料は、大
Androidゲーム開発入門、私が2Dアクションゲームをつくるまでに蓄積されたTips - shimobayashiの日記
ここ1週間くらいずっとAndroidゲーム開発を手探りで進めていた。そして、めでたく、ようやく、初のAndroid向け2Dアクションゲームをリリースすることができました。 Fire Rescue - Android マーケットhttps://market.android.com/details?id=name.shimobayashi.firerescue内容としては http://www.shimobayashi.name/ のBurningPanicというゲームをAndroid向けに移植した感じです。なお、ゲームのBGMはuzzuさん(http://twitter.com/uzzu)につくっていただきました、感謝。(スクリーンショットが若干おかしいですが、OpenGLを使った画面をPCでうまくキャプチャーできないようです。無念。) つきましては、またもやヘドロのごとくTipsが蓄積され
Ａｗｋプログラミング入門−第1回
講座「文系のためのａｗｋプログラミング入門」 I ａｗｋの動作 コンピュータが、あるいはコンピュータ上の一つのプログラムが行う作業は、通常三つの部分に分かれます。データを読み込み、処理を行い、その結果を画面に表示したり、ファイルに書き出したりすることです。たとえば、画像処理のプログラムであれば、読み込むデータは、写真やイラストなどの画像であり、処理はそれらを様々に加工すること、そして、その結果を画面に表示したり、印刷したりします。この三つの過程を、 と呼びます。ａｗｋの場合は、入力するデータは、テキストであり、出力するのもテキストです。この限りではワープロソフトとほとんど代わりませんが、処理の部分が全く異なります。ワープロであればユーザはキーボードから文字を入力したり、マウスでクリックしたりと多様な作業を行いますが、ａｗｋの場合は、処理は一連の作業手続きを記述したプログラム(これをスクリ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://next1.msi.sk.shibaura-it.ac.jp/
http://www13.plala.or.jp/naka_jima/Eclipse/F_eclipse.html
The CPAN Search Site - search.cpan.org
http://www.dhc-online.com/textbook-html/04programming/
プログラミング資料庫