動的型・静的型と型推論 - sumiiのブログ
「動的型」「静的型」「型推論」「（型）安全（性）」等の用語は混乱が多いようなので、前に（僕が知る限りのことを）まとめてみたのですが、またちょっと立て続けに混乱を目撃してしまったので少しだけ書いてみる。何か勘違いしていたらツッコミplz。 プログラムの実行前に型検査をする「静的型つき言語」(statically typed languages)には、型注釈が必須な「陽な型つき言語」(explicitly typed languages)と、省略しても型推論される「陰な型つき言語」(implicitly typed languages)の二つがあります。前者はCとかJavaとかで、後者はMLとかHaskellとかです。MLやHaskellは「陰な型つき関数型言語」ですが、さらにOCamlは「陰な型つきオブジェクト指向言語」にもなっていて、結果としてstatically typedなのにduck
Vector： Listleaf - 新着ソフトレビュー
「Webページをすばやく閲覧すること」を目的に開発されたWebブラウザ。閲覧したページの履歴や検索結果などが自動的にリスト化され、マウスホイールを動かすだけで、大量のページにすばやく目を通せる。「Listleaf」は、たくさんのWebページをすばやく読むためのブラウザ。タブブラウザをベースにしながら、さらに機能を大幅に強化することで、Webを効率的に閲覧できるよう工夫されている。 メイン画面には、ブラウズエリアやタブのほかに、三つのリスト表示エリアが用意されている。ここには「閲覧したページの履歴」「検索バーからの検索結果」「RSSリーダのヘッドライン記事などのリンク」が表示される。マウスホイールを使ってリストを選択することで、ページを切り替えることが可能。リスト上のページは先読みされるため、ページが表示されるまでの待ち時間は短い。リストは、ホイールのほかにツールバーのボタンでも切り替えられ
Latest topics - outsider reflex
Latest topics 近況報告 たまに18歳未満の人や心臓の弱い人にはお勧めできない情報が含まれることもあるかもしれない、甘くなくて酸っぱくてしょっぱいチラシの裏。RSSによる簡単な更新情報を利用したりすると、ハッピーになるかも知れませんしそうでないかも知れません。 の動向はもえじら組ブログで。 宣伝。日経LinuxにてLinuxの基礎？を紹介する漫画「シス管系女子」を連載させていただいています。 以下の特設サイトにて、単行本まんがでわかるLinux シス管系女子の試し読みが可能！ Look back on the history of Tree Style Tab until the performance improvement at version 4.0 - Mar 26, 2024 （日本語版はこちら） I recently released version 4.0 of
生きてるうちが花なのよ 死んだらそれまでよ : 女性の書き手を分類してみる
賃貸暮らしのわが家の地震対策【揺れから命を守る編】 以前のブログでも記載した、防災の優先順位に基づいて対策を進めています。まだ手をつけられていない部分もありますが、ある程度まとまってきたのでざっくりとご紹介していきます。 優先順位別に改善していっているため、今回は主に地震の揺れ対策がメインになります。…
CrenaHtml2jpg - ベクターソフトニュース
指定したサイズでWebページを縮小キャプチャできるソフト。ページ全体のキャプチャも可能で、縦長のページも1枚の画像にキャプチャできる。「CrenaHtml2jpg」は、URLとキャプチャ画像のサイズを指定するだけで、Webページを自動的に縮小キャプチャしてくれるソフト。URLや画像サイズなどの設定とキャプチャの実行は、コンパクトなメイン画面から行うようになっており、キャプチャするためにわざわざWebブラウザを開く必要はない。保存可能な画像形式はBMP/GIF/JPEG/TIFF/PNG。BMPでは色深度、JPEGでは画質を指定して保存できる。 ユーザが設定できるのは「対象WebページのURL」「出力画像のサイズ」「画像形式」「遅延」「タイムアウト」「出力ファイル名」の各項目。URLは直接入力のほか、ドラッグ＆ドロップで指定することも可能。HTMLファイルやインターネットショートカットのドラ
http://hp.vector.co.jp/authors/VA039708/
LLSOFT 20000+ 【お知らせ】 都合により更新を永久停止にします。 ソフトウェアと他の一部のコンテンツは残しておきますが、 いつ削除するかはわかりません。 今までたくさんの人にお世話になりました。 本当にありがとうございました m(_ _)m 拙作ソフトウェア(このページで紹介しているものに限る) の雑誌やWebページへの掲載については、 事前の連絡なく自由に行ってかまいません。 ※メールアドレスも削除済みなので送信しても無意味です。 2006/07/25 管理人LALZE 【OTHER CONTENTS】 LINK 【SOFTWARE】 窓の下の力持ち / 多機能ユーティリティ Vector新着ソフトレビュー アクティブウィンドウに便利な機能を追加するユーティリティ。 一方通行 / ファイル削除 ファイルを復元されないように削除する
【インフォシーク】Infoseek ： 楽天が運営するポータルサイト
日頃より楽天のサービスをご利用いただきましてありがとうございます。 サービスをご利用いただいておりますところ大変申し訳ございませんが、現在、緊急メンテナンスを行わせていただいております。 お客様には、緊急のメンテナンスにより、ご迷惑をおかけしており、誠に申し訳ございません。 メンテナンスが終了次第、サービスを復旧いたしますので、 今しばらくお待ちいただけますよう、お願い申し上げます。
Vector： 連続暗算 - 新着ソフトレビュー
四則演算に答えてゆくことで脳の活性化を図るソフト。比較的平易な問題を次々に解答してゆく。「連続暗算」は、暗算で解答できるレベルの加・減・乗・除算（四則演算）を行う算数ゲーム。4種類の演算がランダムに出題される。簡単な四則演算に答えてゆくことで脳が活性化され、リフレッシュ効果を得られる仕組み。解答結果は自動的にテキストファイルとして保存される。 出題されるのは、比較的平易な暗算問題。例えば、加算（足し算）は1桁＋1桁、2桁＋1桁（1+1、12+2など）といったレベルまで、除算（割り算）であれば1桁÷1桁、2桁÷1桁（8÷2、12÷3など）のレベルまでといった具合。除算では、計算結果（商）に余りが出る問題は出されない。 出題数は、10/20/30/50/70/100から選択することが可能。10から100までの範囲で任意の数を指定することもできる。 「開始」を実行すると次々に問題が表示されるので
Vector： SGサーチ - 新着ソフトレビュー
フォルダ内で、名前に特定文字列を含むファイル/フォルダを探してフォーカスを移す「ダイレクト検索」が特徴の検索ソフト。「SGサーチ」は、ファイル内のテキスト検索（GREP）、ファイル/フォルダ名の検索をはじめ、計4種類のモードを備えた検索ソフト。モード別にタブが用意されたわかりやすいインタフェースで、“総合的な検索”を行える。 「SGサーチ」で利用できる検索モードは、 テキスト検索（GREP）ファイル検索重複検索ダイレクト検索の4種類。「テキスト検索」は、指定フォルダ（およびサブフォルダ）内で、特定文字列を含むファイルを検索できるモード。拡張子などで対象ファイルの絞り込み/除外を指定できるほか、ファイルの作成・更新日時やサイズで絞り込むことも可能。「ファイル日時指定」では「全てのファイル」のほか、「10分以内に作成したファイル」「2週間以内に更新したファイル」など、18パターンから検索対象を
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://yokohama.cool.ne.jp/chokuto/urawaza/
shelas_memo
Vector： clipnote - 新着ソフトレビュー
Daphne v2.04 • drkbugs
Vector： Ultinamer - 新着ソフトレビュー
検索エンジン MARS FLAG
Vector： cobBox - 新着ソフトレビュー