This domain may be for sale!
Emacs mac port: Emacs 24.4 with emacs-24.4-mac-5.0: download SHA256: 7e09c899e5487c21634aea4220101f739227fcbbcd34f7998d2a98e87fc00aa2 Emacs 24.3 with emacs-24.3-mac-4.8: download Emacs 24.3 with emacs-24.3-mac-4.7: download Emacs mac port with official Emacs icon (the "E" and a pen): Emacs 24.4 with emacs-24.4-mac-5.0: download SHA256: a10bdd52706144c457d5747e3086d57c1cfbef682989750317631485d31d5f
赤び~の備忘録 & 子育て月記 Linux/Mac関連の個人的な備忘録と第一子の育児記録です。 Xen、KVM、Java、Eclipse、JSF2.0 を中心にまとめています。 現在は CentOS 6.3 の 64bit と Mac OS X 10.8 をメインに使用中です。 OS X Mountain Lion では「辞書.app」への新辞書の追加と一部辞書の差し替えが行われました。 国語辞典と英和/和英辞典が小学館から三省堂に入れ替わったのはともかく、どういうわけか Lion にあった類語例解辞典がなくなってしまいました。 今まで使えたモノが使えなくなるのは悲しいので、類語例解辞典を復活させることにしました。 1. Lion の辞書ファイルを復元 Time Machine から類語例解辞典の辞書ファイルを任意の場所に復元します。 類語例解辞典の辞書ファイルは /Library/Dic
Mac OS X 10.4から標準で「辞書(Dictionary).app」というアプリケーションが付属しています。 名前の通り辞書ツールです。 この文書では Mac OS X 10.5以降の「辞書(Dictionary).app」の機能に関して記述しています。 概要 Mac OS X 10.5 からは「大辞泉(国語辞書)」、「プログレッシブ英和・和英中辞典」、「類語例解辞典」、「Apple用語辞典」、「New Oxford American Dictionary(英英辞典)」、「Oxford American Writes's Thesaurus(英語類語辞典)」、「Wikipedia」が初期インストールされています。 「Wikipedia」はインターネットのWikipediaのサイトに検索を実施しますが他の辞書はローカルに辞書ファイルを持っています。 辞書.app は「アプリケーション
Coq version 8.2以降からHaskell風の型クラスが使えるようになったから使ってみることにした。 Haskellで型クラスといえばMonadが有名な気がするのでHaskell風のモナドHMonadを定義しよう。 Coqでの型クラスは次のように宣言するみたいだ。 Class HMonad (M: Type -> Type) := { mreturn : forall {A}, A -> M A ; mbind : forall {A B}, M A -> (A -> M B) -> M B }. *1 この定義だとHaskellのモナドとあんまり変わらないが、Coqは証明も第一級の値なので、なんらか満たしてほしい性質を型で指定することができる。モナドはモナド則を満たしてほしいので、モナド則をみたしていないといけないクラスにしよう。 モナド則を加えるとちょうどこんな感じになった。
入門 djbdns は安全、確実、高速、簡潔、設定も簡単なDNS ツール群です。 ( 特徴 ) qmail 作者のD. J. Bernsteinさんの作品です。 いちど試してみてください。 複雑怪奇に見えたDNSが実は簡単であることが分ります。 DNS の基礎知識があると より理解しやすいでしょう。 DNSが参照される場面 DNSサーバとキャッシュサーバ(リゾルバ)に分かれています。 DNSサーバは自ゾーンだけを応答します。 環境設定やデータ作成機能も分かれています。 キャッシュサーバを動かしておけば、 DNS検索が速くなります。 メモリは決めただけしか使いません。 キャッシュサーバはローカルサービス用とリモート用に分けて設定します。 djbdnsを動かしてみる 設定例 djbdns(tinydns)利用状況 メイルとDNSの設定 ファイアウォール、プライベートアドレスとDNS クラスレス
“3.11”—the worst disaster in postwar Japanese history, consisting of the Great East Japan Earthquake (March 11, 2011), the subsequent tsunami and the nuclear accident at the Fukushima Daiichi power plant—taught us many valuable lessons. This paper reviews the disaster from a computer scientist's perspective, paying special attention to the problem of presenting data to the public, and discusses wh
プログラミング言語SML#解説 Pt.I 概要 Pt.II チュートリアル Pt.III 参照マニュアル Pt.IV プログラミングツール Pt.V SML#の内部構造 Pt.VI 参考文献,その他 Ch.1 はじめに Ch.2 本書の使い方 Ch.3 SML#使用上の注意 Ch.4 SML#の概要 Ch.5 SML#プログラミング環境の準備 Ch.6 MLプログラミング入門 Ch.7 SML#の拡張機能:レコード多相性 Ch.8 SML#の拡張機能:その他の型の拡張 Ch.9 SML#の拡張機能:Cとの直接連携 Ch.10 SML#の拡張機能:SQLのシームレスな統合 Ch.11 SML#分割コンパイルシステム References Ch.1 はじめに プログラミング言語SML#解説 大堀 淳 上野 雄大 東北大学 電気通信研究所 FireFoxなどのMathMLを表示可能なブラ
With the increasing use of Haskell for real-world applications, the records system has been a frequent source of frustration to Haskell programmers working on large projects. In particular, an inability to reuse field names across different datatypes leads to awkward ad-hoc naming. There have been many complaints over the years, and designs for better systems proposed, but no concrete progress on
The Glorious Glasgow Haskell Compiler.
TL;DR: GHC HEAD (but not GHC 7.8) will soon support OverloadedRecordFields, an extension to permit datatypes to reuse field labels and even turn them into lenses. IntroductionThe Haskell records system is a frequent source of frustration to Haskell programmers working on large projects. On the face of it, it is simple: a datatype such as data Person = Person { id :: Int, name :: String } gives ris
The Glorious Glasgow Haskell Compiler.
代数計算に触れる導入として、Haskellの代数的データ型による取っ掛かりを説明します。多項式の展開や微分などを扱います。 Haskellは初歩的な機能のみ使います。以下の内容を理解していれば十分です。 Haskell 超入門 HUnit 超入門 Haskell 代数的データ型 超入門 ※ これらで解説していない機能は使っていないため、冗長になっている箇所が多々あります。あらかじめご了承ください。 練習の解答例は別記事に掲載します。 【解答例】Haskellによる代数計算入門 Haskell以外の言語での実装については以下を参照してください。 https://gist.github.com/7shi/c0a6f489fbe22b98b015 ※ 今回の記事とは異なり微分・積分しか実装していません。 この記事には関連記事があります。 2016.12.14 多項式の積を計算 2017.11.2
At ICFP a few weeks ago a hot topic in the corridors and in a couple talks was the issues surrounding packaging and “Cabal Hell.” Fortunately we were not just discussing problems but solutions. Indeed I think we have a pretty good understanding now of where we want to be, and several solutions are in development or have reasonably clear designs in peoples’ heads. I want to explain what’s going on
リストの畳み込みには、foldr が使われる。 foldr :: (a -> b -> b) -> b -> [a] -> b foldr _ ini [] = ini foldr op ini (x:xs) = x `op` foldr op ini xs Data.List には、この双対となる関数 unfoldr が定義してある。 unfoldr :: (a -> Maybe (b,a)) -> a -> [b] unfoldr f x = case f x of Nothing -> [] Just (z,x') -> z : unfoldr f x' unfoldr は種からリストを生成する。 既存の関数 unfoldr をプリミティブと考えて、他の関数を定義してみる。まずは、iterate。 iterate :: (a -> a) -> a -> [a] iterate f =
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く