コンパイルは(テストではなく)証明である - あどけない話
「プログラムのテストはバグの存在を示すことにかけてはとても効率的な方法ですが、バグの不在を示すことにかけては絶望的なほどに不適切です。プログラムの信頼性を顕著に向上させる唯一の方法は、その正当性に対して説得力のある証明を与えることです」 -- 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入門 [戻る] 索引 Javaとは Javaとは Javaの歴史（Java, Java 2） Javaのエディション（J2SE, J2EE, J2ME） Javaの配布形態（JRE, SDK） はじめてみよう JDKをインストールする 環境を設定する テスト用フォルダを作成する Javaアプリケーションのサンプル（HelloWorld） 文法 コメント（//, /* */, /** */） キーワード リテラル プリミティブ型（boolean, byte, char, short, int, long, float, double） 値を返さない型（void） 演算子 キャスト 制御構文 もし（if） 繰り返し（for） 繰り返し（while） 繰り返し（do while） 分岐（switch） 処理を抜ける（break） 処理を繰り返す（continue） ジャンプ（go
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#・情報工学を中心に勉強用ページとブログを載せています。
いまさら聞けないPerlのお役立ちワザ（1）：IT Pro
Perlは，現在最も普及しているスクリプト言語の一つです。米国の出版社O'Reilly & Associatesに勤務するLarry Wallという人が作った言語であり，誰でも自由に使えます。ほかのスクリプト言語と同様，Perlには再利用可能なプログラム（モジュールと言います）がたくさんあり，モジュールを組み合わせることで面倒な処理を手早く自動化することができます。特に，文字列処理機能が優れており，正規表現＊1と組み合わせると強力な文字列検索/置換プログラムを作れます。 一般にはPerlは，Webサーバーで動作するCGI＊2プログラムを作る言語としてよく知られています。しかし，Perlの使い道はCGIプログラムだけではありません。本特集では，デスクトップで動作する便利なプログラムをいくつか紹介しながら，Perlの使い方を説明していきます。 WindowsでPerlを使うには処理系のインスト
問題集 - Pythonのお勉強
問題集 Simple Hello, world! 1から50までの和を計算して表示 2つの自然数の最大公約数を求める（ユークリッドの互除法） 2つの自然数の最小公倍数を求める。 10000以下の素数を表示する。 フィボナッチ数(1,1,2,3,5,8,13,...)を2**31より小さい範囲まで表示する。 無限にフィボナッチ級数を返し続けるgenerator。 n**(n**n) の一の位の数字を表示する。(nが1000程度でもそれなりの速度で動作しますが、nの剰余と合同を使えばpow使わずに済みます。下記参照) n**(n**n) の一の位の数字を表示する。(pow不使用) Normal テキストファイル'text.txt'から数字を読み込み大きい数から順に並べて画面に表示する 標準ライブラリを使ってsin 60°を求める 摂氏を入力すると、華氏で出力。華氏を入力すると、摂氏で出力。動作
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つの街にはいろんなキャバクラがあるし、競合店が多いことから他のエリアより時給相場が高い上、新規のお客さんも来店しやすい。 だから、関西のキャバクラで働く上で、キタ、もしくはミナミのキャバクラを選ぶことがすごくおすすめ！ けど、そうは言っても「じゃあキタとミナミだったらどっちの方が良いの？」って思う方もいるかもしれませんよね（笑） なのでここでは、大阪のキタとミナミのキャバ嬢目線から見た違いについて解説していきます！ 大阪のキャバクラ「キタ」と「ミナミ」の違い では大阪のキタとミナミには、キャバクラにどんな違いがあるのか、各項目に分けて紹介していきます！ 大阪のキャバクラで頑張って働いていこうと思ってる方は、自分の目的やキャバ嬢としてのキャリアに合ったお店を選んでくださいね！ お給料 まずはお給料について。お給料は、大
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
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/
プログラミング資料庫