日本時間とアメリカのPDT(Pacific Daylight Time)との時差

メイン

API アーカイブ

2006年10月14日

weather hacksで天気を表示!

livedoorの天気情報サービス、weather hacksのAPIを使って、サイドバーに天気を表示してみました。

結構いいコンテンツですね。

天気アイコンだけロゴの横に持ってくるレイアウトも検討中です。

プログラムとしては、PHP5の環境ならsimple_xmlの一行でxmlをオブジェクトにできるんだけど、このサイトを運営しているサーバがPHP4の環境であるため、simple_xmlは泣く泣く断念。

面倒だけれど仕方ないからpearを使うことに。Unserializerを使っています。

コードを下記に書いておきます!

<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<title>Weather Hacks</title>
<link href="main.css" rel="stylesheet" type="text/css" />
</head>
<body>
<?php
require_once("XML/Unserializer.php");
$base = "http://weather.livedoor.com/forecast/webservice/rest/v1?city=63&day=tomorrow";
$xmldoc = join("",file($base));
$opt = array (
'complexType' => 'object',
'parseAttributes' => 'true',
'attribuesArray' => '_attributes',
);
$xml = new XML_Unserializer($opt);
$xml -> unserialize($xmldoc, false);
$xml = $xml->getUnserializedData();
mb_convert_encoding($xml, "SJIS","UTF-8");
$title = $xml->title;
$img = $xml->image->url;
$url = $xml->link;
$description = $xml->description;
$date_rfc822 = $xml->forecastdate;
$date = date("m/j(D)",strtotime($date_rfc822));
$telop = $xml->telop;
$max_celsius = $xml->temperature->max->celsius;
$min_celsius = $xml->temperature->min->celsius;
echo
"<div class=\"weather\">".
"<a href=$url class=\"title\" target=\"_blank\">$title</a>".
"<div class=\"weather_content\">".
$date.
"<a href=$url target=\"_blank\"><img src=$img border=\"0\" alt=$title width=\"25px\"></a>".
$min_celsius.
"-".
$max_celsius.
$telop.
"<br />".
"<div class=\"description\">".
"</div>".
"</div>".
"</div>";

?>
</body>

2006年10月15日

PHPでRakuAPI。XML_Unserializer(PHP4)


Warning: file(): php_network_getaddresses: getaddrinfo failed: Name or service not known in /home/sites/heteml/users/c/r/e/creamuinc/web/blog.creamu.com/phpbiyori/rakuapi/index.php on line 7

Warning: file(http://rakuapi.ddo.jp/api?query=PHP&genre=book&sort=low&affiliate_code=0360b5e2.af9a2239&output=xml): failed to open stream: php_network_getaddresses: getaddrinfo failed: Name or service not known in /home/sites/heteml/users/c/r/e/creamuinc/web/blog.creamu.com/phpbiyori/rakuapi/index.php on line 7

Warning: join(): Invalid arguments passed in /home/sites/heteml/users/c/r/e/creamuinc/web/blog.creamu.com/phpbiyori/rakuapi/index.php on line 7

Notice: Undefined property: PEAR_Error::$Result in /home/sites/heteml/users/c/r/e/creamuinc/web/blog.creamu.com/phpbiyori/rakuapi/index.php on line 16

Warning: Invalid argument supplied for foreach() in /home/sites/heteml/users/c/r/e/creamuinc/web/blog.creamu.com/phpbiyori/rakuapi/index.php on line 16

RakuAPIを使って、PHPに関する本を表示してみました。

PHP4で使えます。

pearから下記のファイルをダウンロードしてrequireするファイルパスに置いてください。
XML/Parser.php
XML/Unserializer.php

ソースは下記。

<?php

/*▽********************************XML_Unserializer************************************************/
require_once("../XML/Unserializer.php");

$base = "http://rakuapi.ddo.jp/api?query=PHP&genre=book&sort=low&affiliate_code=0360b5e2.af9a2239&output=xml";
$xmldoc = join("",file($base));
$opt = array (
'complexType' => 'object',
'parseAttributes' => 'true',
'attribuesArray' => '_attributes',
);
$xml = new XML_Unserializer($opt);
$xml -> unserialize($xmldoc, false);
$data = $xml->getUnserializedData();
foreach($data->Result as $item){
$title = $item->Title;
$img = $item->ThumbnailUrl;
$url = $item->Url;
echo "<a href=$url target=\~_blank\" onfocus=\"this.blur()\"><img src=$img border=\"0\" alt=$title></a>";
}

/*▲********************************XML_Unserializer************************************************/
?>

2006年10月26日

SimpleAPI「WikipediaAPI」をPHP4で表示。XML_Unserializer

SimpleAPI「WikipediaAPI」が公開されていますね。

SimpleAPI「WikipediaAPI」

PHP4でXML_Unserializerを使ってコンテンツに、整形してみました。

「プログラミング」をキーワードにXMLを受け取って、PHPでperseしています。

HTML出力も提供されているんですが、自分の好きなタグでカスタマイズし、CSSでレイアウトしたい場合はPHP+CSSが楽ですね。

プログラミング>
プログラミング プログラミング (コンピュータ) - コンピュータプログラムを作成すること。 ミュージックシークエンサーにシークエンスを設定すること。ミュージックシーケンサーまたは打ち込みを参照。
プログラミング言語Java>
『Java言語』より : Java(ジャバ)は、狭義ではオブジェクト指向プログラミング言語Javaであり、広義ではプログラミング言語Javaのプログラムの実行環境および開発環境をいう。本稿ではプログラミング言語としての Java、および関連する技術や設計思想、およびJava言語の実行環境として見たJavaプラットフォームについて解説する。クラスライブラリなどを含めた、Javaバイトコードの実行環境と開発環境(広義のJava)については、Javaプラットフォームを参照。また、言語の文法に関してはJavaの文法を参照。 Java は、それ以前のさまざまな言語の良い部分を引き継ぎ、欠点を克服するよう設計した。次のような特徴を持つ。 構文は C および C++ から多くを引き継いでいる。ただし、ポインタ等の低レベルな操作は基本文法から排除されている。 オブジェクト指向プログラミングをサポートしている。オブジェクトモデルはSmalltalk や Objective-C と同様の簡潔なものを採用している。
プログラミング用語 (分野別)>
プログラミング用語一覧 (プログラミングようごいちらん)とは、コンピュータのプログラムおよびプログラミングに関する用語を分野別に分類し列挙した目次である。 固有の製品名、言語名、機種名、ソフト名など、すでに目次に相当するページがある場合にはそのページへのリンクのみを示し、ここでは列挙しない。 その他の総合目次に関する項目。 情報・通信・コンピュータ一覧の一覧 プログラミング用語一覧 - 五十音順の目次。 プログラミング言語一覧、プログラミング言語年表 コンピュータの理論的基礎 コンピュータ チューリングマシン、ノイマン型、その他、コンピュータを参照。 オートマトン プログラミング言語の位置づけ 言語学の視点 プログラミング言語は人工言語、コンピュータ言語の中の1群である。 言語、言語学、計算言語学 自然言語 人工言語、形式言語 コンピュータ言語 - コンピュータで用いられる人工言語。 プログラミング言語 - コンピュータ上で動作するプログラムを作成する言語。
プログラミング言語Python>
『Python』より : Python(パイソン)は、汎用のプログラミング言語である。コードの可読性が高くなるように言語を設計していると主張されている。その構文のおかげで、Cなどの言語に比べて、より少ないコード行数でプログラムを表現できると主張されている。小規模なプログラムから大規模なプログラムまで、さまざまなプログラムを分かり易く書けるように、多くのコードを提供している。 Pythonは複数のプログラミングパラダイムに対応している。オブジェクト指向、命令型、手続き型、関数型などの形式でプログラムを書くことができる。Pythonは動的型付け言語であり、参照カウントベースの自動メモリ管理(ガベージコレクタ)を持つ。さまざまな領域に対応する大規模な標準ライブラリを提供している。 Pythonは、汎用のプログラミング言語として設計している。標準ライブラリや他者製のライブラリも充実している。そのためPythonはWebアプリケーションやデスクトップアプリケーションなどの開発はもとより、システム用の記述 (script) や、各種の自動処理、理工学や統計解析のための道具としてなど、幅広い領域で使用されている。
プログラミング言語の比較>
プログラミング言語は機械(またはコンピュータ)を制御するために使用される。プログラミング言語も自然言語のように意味を定義するために構文的、意味的な規則を使用する。
現在プログラミング言語一覧 何千ものプログラミング言語があり、毎年新しいものが作られているものの、ほとんどの言語は一般的にはなっていない。しかし、多くの職業プログラマが生涯の間に何十もの異なった言語を使用している。
以下の表は主要なプログラミング言語の全体的および技術的な情報を比較している。詳細は個々の言語のページを参照のこと。
言語
一般的な実行モデル
影響を受けた言語
プログラムパラダイム
型付け
登場時期
ネイティブ
ALGOL Algol, Pascal, C++ (Ada 95), Smalltalk (Ada 95)
プログラミング言語年表>
プログラミング言語年表(プログラミングげんごねんぴょう)とは、コンピュータプログラミング言語に関する年表である。個々の言語の詳細については、個別の記事にゆずる。 1940年以前 チャールズ・バベッジが計画した「機械式コンピュータ」と言える装置である解析機関についての文章をイタリアの数学者ルイジ・メナブレアが執筆し、1842年から1843年の9ヶ月間にエイダ・ラブレスがそれを翻訳した。この記事の中で彼女はこの機械でベルヌーイ数を計算する完全なプログラムを掲載した。これは世界初のコンピュータプログラムであると言われている。ただし、これは機械(コンピュータ)に対する命令そのもの(機械語)で記述されたプログラムであり、「プログラミング言語」としては広義のそれとなる。 1801年にジャカード織機が発明された。パンチカードを利用するもので、布に織り込む模様に対応した縦糸(経)の上げ下げの対応がそのまま厚紙の穴になったもので、コンピュータプログラムと見るのは無理があるが「プログラマブルな装置」の一種である。
プログラミング言語Ruby>
『Ruby』より : Ruby(ルビー)は、まつもとゆきひろ(通称 Matz)により開発されたオブジェクト指向スクリプト言語であり、スクリプト言語が用いられてきた領域でのオブジェクト指向プログラミングを実現する。 また日本で開発されたプログラミング言語としては初めて国際電気標準会議で国際規格に認証された事例となった。 Ruby は1993年2月24日に生まれ、1995年12月にfj上で発表された。名称の Ruby は、プログラミング言語 Perl が6月の誕生石である Pearl(真珠)と同じ発音をすることから、まつもとの同僚の誕生石(7月)のルビーを取って名付けられた。 機能として、クラス定義、ガベージコレクション、強力な正規表現処理、マルチスレッド、例外処理、イテレータ、クロージャ、Mixin、演算子オーバーロードなどがある。Perl を代替可能であることが初期の段階から重視されている。Perlと同様にグルー言語としての使い方が可能で、C言語プログラムやライブラリを呼び出す拡張モジュールを組み込むことができる。
プログラミング言語>
プログラミング言語(プログラミングげんご)またはプログラム言語(プログラムげんご)とは、コンピュータに対する指示を記述するための人工言語である。 この一連の指示をプログラムと呼び、それを記述することをプログラミングと呼ぶ。 意義と目的 コンピュータが理解できる言葉は、固有の機械語だけである。機械語は一見無意味な数字の羅列で、人間には理解しにくい。 プログラミング言語は、おもに英語の単語と記号を組み合わせた、特殊な文法で記述される。その意義は、人とコンピュータの意思疎通を容易にするため、数字の羅列に代えて人間に扱いやすい言語形式を提供することにある。コンピュータ言語があれば、人は扱いやすく理解できる言葉でコンピュータへの指示を書くことができる。コンピュータ言語で書かれた言葉は、機械翻訳で機械語に翻訳され、コンピュータに与えられる。元のプログラム言語で書かれた記述はソースコード、翻訳プログラムはアセンブラ、コンパイラ、インタプリタなどと呼ばれる。 プログラミング言語は、コンピュータ企業や技術者により目的に応じて開発され、様々なプログラミング言語が、毎年のように生み出されている。
プログラミング用語一覧>
プログラミング用語一覧(プログラミングようごいちらん)は、コンピュータのプログラムおよびプログラミングに関する用語を分野別に分類し列挙した目次である。 その他の総合目次に関する項目 情報・通信・コンピュータ一覧の一覧 プログラミング用語 (分野別) プログラミング言語一覧 あ行 アクセサ アジャイルソフトウェア開発 アスペクト指向プログラミング アセンブラ アセンブリ言語 アダプタパターン アドレス アドレス空間 アドレッシングモード アプレット アルゴリズム 暗号 アンチパターン 委譲 イテレータ 移植性 依存性の注入 遺伝的アルゴリズム イベント イベント駆動型プログラミング インスタンス インスタンス変数 インスタンスメソッド インスペクション インタプリタ インデクサ ウォーターフォール・モデル エクストリーム・プログラミング エディタ 演算子 エンディアン エントリーポイント オーサリングツール オートボクシング オーバーフロー オーバーライド オーバーレイ (情報工学) オブジェクト オブジェクト型 オブジェクト指向 オブジェクト指向言語 ⇒ オブジェクト指向プログラミング オブジェクト指向言語の比較 オブジェクト指向プログラミング オブジェクトデータベース オブジェクトモデル化技法 オープンソース オペコード か行 拡張可能なマーク付け言語 ⇒ XML 仮想機械 型システム 型変換 ガベージコレクション 可変長数値表現 カプセル化 空文字列 伽藍方式 関係モデル 関数 関数型言語 関数型プログラミング 機械語 木構造 (データ構造) 擬似コード 逆アセンブラ 逆コンパイラ 逆ポーランド記法 キャッシュ (コンピュータシステム) キャラクタ (コンピュータ) ギャング・オブ・フォー (情報工学) キュー 共通型システム 競合状態 凝集度 行番号 共有メモリ キーワード(予約語を参照) キーワード (C言語) キーワード (C++) キーワード (Java) クイックソート クラス クラス図 クラスベース クラス変数 グラフ クロージャ クロスプラットフォーム 計算機プログラムの構造と解釈 形式仕様記述 形式的検証 形式文法 継承 継続 契約 (契約プログラミング) 軽量プログラミング言語 結合度 コアダンプ 高階関数 高級言語 構成管理 構造化プログラミング 構造体 高速フーリエ変換 構文解析 構文解析器 構文解析木 固定小数点数 コーディング ⇒ プログラミング コード生成 コピーレフト コメント(注釈) コールスタック コルーチン コンスタント → 定数 コンスタントプール コンストラクタ コンテナ (データ型) コンパイラ コンピュータ コンピュータ言語 コンポジットパターン さ行 最下位ビット 再帰呼び出し 最上位ビット 最適化 サブルーチン 三項演算子 参照 参照カウント 参照透過性 参照渡し(関数の引数) サンドボックス (セキュリティ) 字句解析 ジェネリックプログラミング シェルソート 式 識別子 シグナルプログラミング シーケンス シーケンス図 思考ルーチン 自己書き換えコード 字下げ システムエンジニア 自然言語 実装 実体関連モデル 実引数依存の名前探索 ジャストインタイムコンパイル方式 集合 順接 仕様記述言語 条件演算子 条件付分岐 → if文 情報工学 情報システム 情報量 処理系 シリアライズ 進化戦略 進化的プログラミング シングルトンパターン 人工言語 人工知能 信頼度成長曲線 スクリプト言語 スケジューリング スコープ スタック スタックオーバーフロー スタブ ストアードプログラム方式 スパゲティプログラム スピンロック スループット スレッド スレッドセーフ 正規表現 制御構造 制御理論 静的型付け 静的コード解析 静的スコープ 静的リンク セキュリティホール 世代別ガベージコレクション 設定ファイル セマフォ ゼロ除算 線型探索 線形リスト 総称型 属性文法 ソースコード ソート ソフトウェア ソフトウェアアーキテクチャ ソフトウェア開発 ソフトウェア開発キット ソフトウェア開発工程 ソフトウェア工学 ソフトウェアテスト ソフトウェア特許 ソフトウェア能力成熟度モデル た行 ダイナミックリンクライブラリ 多重継承 多重定義 ダック・タイピング タブーサーチ 単項演算 単精度 遅延評価 中間言語 抽象データ型 中置記法 チューリングマシン 重複コード ツリー構造 低級言語 定数 テキストエディタ デザインパターン テスト → ソフトウェアテスト テスト駆動開発 テスト自動化 テストファースト デストラクタ データ データ型 データ記述言語 データ構造 データフロー図 データベース言語 手続き(プロシージャ) 手続き型言語 デバッガ デバッグ テーブルジャンプ デリゲート テンプレートの部分特殊化 テンプレートメソッドパターン 問い合わせ言語 糖衣構文 統一モデリング言語 (UML) 統合開発環境 動的型付け 動的スコープ 動的リンク トランザクション トランザクション処理 トレードオフ な行 名前空間 名前修飾 NaN 二分探索 2分探索木 ニーモニック ネスティング ノイマン型コンピュータ 値渡し(関数の引数) は行 倍精度 排他制御 バイトコード パイプ 配列 バグ バグ管理システム バザール方式 派生型 パターンマッチ バッカス・ナウア記法 バックマン線図 ハッシュテーブル バッファ バッファオーバーラン ハードウェア記述言語 バブルソート ハンガリアン記法 パンチカード 番兵 引数 非構造化プログラミング ビジーウェイト ビット ビット演算 ヒープソート ヒューリスティクス 表明 ファクトリメソッドパターン 副作用 (プログラム) 符号 符号付数値表現 浮動小数点数 フラグ プラグイン フーリエ変換 フリーソフトウェア フリーソフトウェア運動 フリーソフトウェア財団 プリプロセッサ プログラマ プログラミング プログラミング言語年表 プログラミングパラダイム プログラム プログラム・カウンタ プログラム導出 プロジェクトファシリテーション プロシージャ(手続き) プロセス プロセス間通信 プロセス管理 フローチャート ブロック プロトコル (通信) プロトタイプ プロトタイプベース プロパティ フロントエンド 文 文芸的プログラミング 分散開発 分散技法 閉路 変数 ポインタ ボックス化 ボトルネック ポーランド記法 ポリモーフィズム 翻訳 ま行 マークアップ言語 マーク・アンド・スイープ マクロ マクロ言語 マジックナンバー (プログラム) 末尾再帰 マルチパラダイムプログラミング言語 マルチプロセス 無限ループ 命令 命令型プログラミング メインループ メソッド メタクラス メタ構文変数 メタプログラミング メッセージ (コンピュータ) メモリアドレス メモリリーク メンバ関数 文字コード 文字列 モジュール モデル検査 モデル駆動工学 モデル変換 モデル変換言語 モニカ や行 焼きなまし法 優先度つきキュー ユースケース ユースケース図 呼出規約 予約語 予約語 (Ada) 予約語 (COBOL) 以下も参照 キーワード (C言語) キーワード (C++) キーワード (Java) 弱い参照 ら行 ライフゲーム ライブラリ ラベル ランタイムライブラリ リエントラント 離散コサイン変換(DCT) リスト (抽象データ型) リセット リバースエンジニアリング リファクタリング (プログラミング) リフレクション 粒度 (プログラミング) リレーショナルモデル リンカ(リンケージエディタ) ルーチン ループ 例外 例外処理 レジスタ (コンピュータ) 連想配列 ローカル変数 ロールバック 論理プログラミング わ行 ワイド文字 割り込み処理 A-Z abs Active Record Adapter パターン API (Application Programming Interface) B木 break文 Common Object Request Broker Architecture Composite パターン continue文 CORBA CPU DCT → 離散コサイン変換 DMA (Direct Memory Access) DOM (Document Object Model) eval Factory Method パターン FIFO foreach文 for文 GNU General Public License goto文 Hello world - 各プログラミング言語によるサンプルプログラム。
プログラミングパラダイム>
プログラミングパラダイム (programming paradigm)とはプログラミング (コンピュータ) プログラミングにおけるパラダイムである。
プログラミングパラダイムは、プログラマにプログラムの見方を与えるものと言える。たとえば、オブジェクト指向プログラミングにおいて、プログラムとはオブジェクトをつくりそれを管理するものである。関数型言語 関数型プログラミングにおいては、状態を持たない関数 (プログラミング) 関数の評価の連続である。
プログラミング言語が異なれば、対応できるパラダイムも異なってくる。SmalltalkやJavaはオブジェクト指向プログラミングのみに対応しており、HaskellやSchemeは関数プログラミングのみに対応している。一方で、Common LispやPythonのように複数のパラダイムに対応した言語(マルチパラダイムプログラミング言語)も存在する。
プログラミング言語Ada>
『Ada』より : Ada(エイダ)は、強力な言語機能を豊富に持ち、高度な型の体系をもつ、プログラミング言語の一つである。構文はAlgol系である。 史上初のプログラマとされるエイダ・ラブレスの名前にちなんでAdaと命名されているため、ADAと表記するのは誤り。 フリーのコンパイラとしては、GNATなどがある。 ボーイング777や、F-22戦闘機の制御ソフトウェアはAdaによって書かれている。 1979年、米国国防総省が信頼性・保守性に優れた、主として組み込みシステム向けの言語を作りたいという意図のもと、国際競争入札を行い4社に発注、各設計仕様書の表紙が赤、青、黄、緑だったことから、そのままそれぞれの言語名称としてRED、BLUE、YELLOW、GREENと呼ばれた。この入札で優勝したのはフランス人チームで、公平を期すため選定時にはGREENと名付けられた。そのような理由から、イメージカラーは緑である。特徴的な要件としては、大規模開発や長期保守性の観点から、 コーディング効率よりも可読性を重視すること マクロを有しないことなどがあった。
プログラミング言語Scheme>
『Scheme』より : Scheme(スキーム)は構文スコープを持つ LISP の方言の一つである。 LISP 系統の言語としては Common Lisp と並んで現在でもよく使われている。 言語仕様の小ささとその出自からプログラミングの教育分野でもよく使われている。 Scheme は、マサチューセッツ工科大学の人工知能研究所においてカール・ヒューイットの設計したアクタ言語 Plasma (Planner-73) の動作を理解するために、アロンゾ・チャーチのλ計算を基盤に持つ LISP 方言として、カール・ヒューイットの学生であったジェラルド・ジェイ・サスマンとガイ・スティール・ジュニアによって1975年頃に設計された。
プログラミング (コンピュータ)>
コンピュータのプログラミング(英: programming)とは、コンピュータプログラムを作成することにより、人間の意図した処理を行うようにコンピュータに指示を与える行為である。(コンピュータ以外にも「プログラミング」という語は使われるが、それらについてはこの記事では扱わない) プログラミングの過程 まず、そのプログラムの目的、さらには「本当に解決したい問題は何なのか」ということについて十分な検討が必要である(ワインバーグの著書などを参考のこと)。 続いて、全体のスタイルをおおまかに2つに分けると「トップダウン設計」と「ボトムアップ実装」になる。「なんとかの設計と実装」といったようなタイトルの本が多くあるように、どちらも重要だが、一般に対象についてよくわかっているものについてのプログラミングでは前者のスタイル、よくわかっていない場合は後者のスタイルとする。「設計された通りに実装することは不可能」といった場合に開発体勢の問題などから正しい対処がされないまま、設計と実装がちぐはぐになったプロダクトは悲惨である。
プログラミング言語一覧>
以下はプログラミング言語の一覧である。 A A A+ ABAP ABC ABCL ActionScript ActiveBasic Ada Advanced Boolean Expression Language(ABEL) Agena AHDL ALGOL Alice ash APL AppleScript as Atom AutoIt AWK B B Bash BASIC BCPL Befunge BF-BASIC'n Bioera BLISS Bluespec Boo BrainCrash Brainfuck C C C# C++ CAL Caml Cantata CAP-X CASL Cecil CFScript Cg Chapel Chef CHILL Clipper Clojure CLU Co-array Fortran COBOL CoffeeScript Common Lisp Component Pascal Concurrent Clean Concurrent Prolog Constraint Handling Rules CPL csh Curl Curry Cω D D Dart dBase Delphi Dylan E ECMAScript Eiffel Elixir Enterprise Generation Language Erlang Escapade Esterel Euclid Euphoria F F# Factor False Fantom Ferite Ficl Flavors FlowDesigner Forth FORTRAN Fortress FoxPro G GLSL Go Groovy Guarded Horn Clauses H HAL/S Hardware Join Java Haskell Haxe HDCaml HLASM HLSL HML HOLON HSP HQ9+ Hydra HyperTalk I Icon ID IDL (interactive data language) Inform InScript INTERCAL Io IPL ISWIM J J Java Java FX Script JavaScript JHDL JScript .NET J# JSX K KEMURI KL1 ksh KRC L LabVIEW Lazy K Lava Limbo Linda Linden Scripting Language (LSL) Lingo Lisaac LISP LOGO Lola LotusScript Lua Lucid Lush Lustre M Malbolge Mana MASM Mathematica Max Mercury Mesa MIL/W Mind Mindscript Miranda Misa MixJuice ML Modula-2 Modula-3 MONAmona Mops MQL MSIL MyHDL M言語 N Napier88 NASM Nemerle Noop O Oberon Oberon-2 Object Pascal Object REXX Object Tcl (OTcl) Objective-C Objective Caml (OCaml) Occam Ook! OpenOffice.org Basic OPS Oz P Pacbase PALASM PARLOG Pascal PBASIC PCN (program composition notation) Perl PHP Pic Piet Pike pine PL/0 PL/I Planner pnuts PostScript PowerBuilder PowerShell Processing Prograph CPX Prolog Pure Data PureScript Pxem Python Q QtScript R R REALbasic REBOL REXX RHDL RPG Ruby(汎用プログラミング言語) Ruby(ハードウェア記述言語) Rust S SAL SASL Sather Scala Scheme Scratch Seed7 Self SFL sh Shakespeare Short Code Simula Simulink SISAL SKILL Smalltalk SMILEBASIC SNOBOL Squeak Squirrel Standard ML superC Swift SystemC SystemVerilog T t3x TAL Telescript TeX Tcl tcsh Tenems TL/I Tonyu System TTS TTSneo Turing TypeScript U Unified Parallel C (UPC) Unlambda UnrealScript V VBScript Visual Basic .NET VHDL W Whirl Whitespace WICS WMLScript Wyvern X X10 XQuery XSLT Y Z zsh あ行 おっぱい言語 か行 さ行 ジョジョ言語 た行 ドリトル な行 なでしこ は行 ひまわり 秀丸マクロ ま行 や行 ら行 わ行 関連項目 (プログラミング言語でないものに関する項目も含む) コンピュータ言語 プログラミング言語 高水準言語 低水準言語 軽量プログラミング言語 グルー言語 スクリプト言語 データフロープログラミング言語 ビジュアルプログラミング言語 難解プログラミング言語 宣言型言語 関数型言語 論理型言語 制約論理プログラミング言語 並行論理プログラミング言語 並行制約プログラミング言語 命令型言語 非構造化プログラミング言語 構造化プログラミング言語 オブジェクト指向プログラミング言語 Mixin クラスベース プロトタイプベース マクロ言語 ハードウェア記述言語 ラダー言語。
プログラミング言語ML>
ML(えむえる、Meta-Language)は、関数型言語のひとつである。現代風の関数型言語としては歴史が古いほうで、型推論機能などを持つが、デフォルトの評価戦略は遅延評価ではなく先行評価で、書き換えが可能なレコード型を持つなど、いわゆる「純粋関数型」でない特徴や機能を持つ。 自動定理証明系において、証明の道筋を関数として記述するためのメタ言語として生まれたという経緯を持ち(#歴史の節を参照)、名前はそのことに由来する。構文はISWIMの影響を受けている。 MLによってプログラマに知られるようになった機能に、型推論がある。これは、明示的に型の宣言を行わなくても、データの利用のされ方から、引数や関数の返す型を自動的に推論してくれる機能である。これにより、プログラマの負担が著しく軽減される。 標準(ないし1方言)としてStandard ML (SML) があり、その実装には、Standard ML of New Jersey (SML/NJ) や、東北大学電気通信研究所大堀研究室が開発を進めているSML#などがある。
プログラミング言語の形式意味論>
『』より :

2007年5月16日

日本時間とアメリカのPDT(Pacific Daylight Time)との時差

APIのダウンタイムがPDTで伝えられるのでメモ。

日本時間とアメリカのPDT(Pacific Daylight Time)との時差は「16時間」です!

アーカイブ