タグ

2008年5月23日のブックマーク (13件)

  • エクセルソフト、PDF作成ツール「PrimoPDF 4.0 日本語版」を無償配布 | パソコン | マイコミジャーナル

    エクセルソフトは、PDF作成ソフト「PrimoPDF 4.0 日語版」の無償配布を21日より開始した。対応OSは、Windows 98 / ME / 2000 / NT / XP / VistaまたはWindows Server 2003。 PrimoPDF 4.0 日語版は、Office文書やWebページなどを簡単にPDFへと変換するソフトで仮想プリンタとしてインストールされる。印刷可能なデータであれば各アプリケーションの [印刷] メニューから利用できるプリンタの一覧に表示される[PrimoPDF]を選択し、PDFファイルの保存先を指定するだけの簡単な操作で文書をPDF化できる。 プリンタからPrimoPDFを選択し、 設定画面から[PDFの作成]ボタンを押すだけの操作 低解像度のオンライン用やeBook用、業務用と用途に応じた出力が可能な他、40 / 120ビットの暗号化、non

  • http://ja.doukaku.org/

  • 審査がどこも通らないが貸してくれるローン会社【お金貸します無職】

    あなたの悩みはこんな感じ? 派遣先が決まっていない他社への返済がしっかりできていない返済能力を超えている光熱費を滞納している収入以上の借入希望 その心配、気にしすぎかも どこからも借りられない状況になったのは、これらのような理由に該当していませんか? それでもこうやってスマホで借入先を探している努力は当に凄いです。 正直、まだ借入先は闇金ではなくてもあります。なぜならこの診断があるからです。 貴方の次の借入を可能にするお手伝いをします。 ダメ元のつもりで診断を受けてみてください! 審査不安ならまずは診断 口座開設不要希望ですか? 速攻審査の借入希望ですか? 収入証明書ナシOKの借入希望ですか? 初心者向けの借入希望ですか? スマホ完結の借入希望ですか? 診断が終了しました!

    cu39
    cu39 2008/05/23
  • サービス終了のお知らせ

    サービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。

    cu39
    cu39 2008/05/23
    Standard ML と LISP Scheme
  • プログラミング言語 Standard ML 入門

    核言語,モジュールシステムの解説のみならず,Standard ML基ライブラリ (The Standard ML Basis Library)の詳細な解説とそれらライブラリを使った インターネットプログラミングプロジェクトを含む最新の入門書. 更新情報(令和2年9月22日) 練習問題の解答例の誤り等を修正。 「テキスト中のプログラムのソースコード」執筆再開 テキスト中のプログラムのソースコード 練習問題の解答例 (New Version) 正誤表 (Errata) 「プログラミング言語Standard ML入門」に準拠した解説スライド(日語,Core ML部分のみ,暫定版) (少々大きなPDFファイル) 「プログラミング言語Standard ML入門」に準拠した解説スライド(英語版) (少々大きなPDFファイル,378ページ) Standard MLプログランミングのシラバス例,試験問

    cu39
    cu39 2008/05/23
  • Standard ML of New Jersey

    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

  • ML (プログラミング言語) - Wikipedia

    ML(えむえる、Meta-Language)は、関数型言語のひとつである。現代風の関数型言語としては歴史が古いほうで、型推論機能などを持つが、デフォルトの評価戦略は遅延評価ではなく先行評価で、書き換えが可能なレコード型を持つなど、いわゆる「純粋関数型」でない特徴や機能を持つ。 概要[編集] 自動定理証明系において、証明の道筋を関数として記述するためのメタ言語として生まれたという経緯を持ち(#歴史の節を参照)、名前はそのことに由来する。構文はISWIMの影響を受けている。 MLによってプログラマに知られるようになった機能に、型推論がある。これは、明示的に型の宣言を行わなくても、データの利用のされ方から、引数や関数の返す型を自動的に推論してくれる機能である。これにより、プログラマの負担が著しく軽減される。 標準(ないし一方言)としてStandard ML (SML) があり、その実装には、St

    cu39
    cu39 2008/05/23
  • OCaml - Wikipedia

    OCaml([oʊˈkæməl] oh-KAM-əl、オーキャムル、オーキャメル)は、フランスの INRIA が開発したプログラミング言語MLの方言とその実装である。MLの各要素に加え、オブジェクト指向的要素の追加が特長である。かつては Objective Caml という名前で、その略として OCaml と広く呼ばれていたが、正式に OCaml に改名された[2]。 概要[編集] もとはCamlという名前の、MLの方言の処理系実装、および言語であった。この名前はcategorical abstract machine languageの頭字語に由来する(en:Categorical abstract machineも参照)。やがて、categorical abstract machineよりも効率の良い抽象機械ベースに書き直され、クラスや継承などクラスベースオブジェクト指向の言語機能が追

  • OCaml プログラミング入門

    OCaml のすすめ OCaml とはフランスの 情報技術系の研究機関の INRIA で開発されている関数型言語 ML (の方言) です。ML には多相型、型推論、ガーベージコレクション (GC)、 データ構造のパターンマッチング等、プログラミング言語理論の研究の 成果 (すごく最新のものと言うわけでは無いそうですが) が詰め込まれ ています。これらの目的・効用は、 コードの再利用の範囲が大きい (多相型) コードの記述量が短かくなる (型推論・データ構造のパターンマッチング) バグの入り込む余地が少なくなる (GC、関数的(副作用の少ない)プログラミング) 等です。私は OCaml を研究でのデータ処理をはじめ、作成するプログラムほとんど 全てにおいて日常的に使っているのですが、 とにかく開発効率が良いです。 コンパイル時の型チェックの厳しさには慣れないとちょっと面倒に感じる かもしれま

  • OCaml.jp

    このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 OCaml(オキャムル/オーキャムル)は、INRIA(フランス国立情報学自動制御研究所)で開発されている関数型言語の一種で、最新の言語理論の成果が取り入れられたプログラミング言語です。 型安全な静的型システムを基盤に、バグの少ない高信頼なプログラムが開発できます。 オブジェクト、型推論、代数的データ型、モジュールシステム、多相バリアント、第一級モジュール、GADTといった様々な機能を利用して、より簡潔で整理されたコードが記述できます。 x86, x86-64, ARM, PowerPCなど多数のアーキテクチャのネイティブコードを出力できるコンパイラを持っています。Android や iOS 向けのクロスコンパイルも可能です(Linux 上でのクロスコンパイルは opam-cross-a

  • The Caml language: Home

    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

    cu39
    cu39 2008/05/23
  • http://mainichi.jp/select/jiken/news/20080523ddm041040058000c.html

  • http://mainichi.jp/select/jiken/news/20080523ddm041040087000c.html

    cu39
    cu39 2008/05/23