並び順

ブックマーク数

期間指定

  • から
  • まで

561 - 600 件 / 6748件

新着順 人気順

acquireの検索結果561 - 600 件 / 6748件

  • Graham Hamilton's Blog: Multithreaded toolkits: A failed dream?

    Posted by kgh on October 19, 2004 at 08:43 AM | Comments (16) The question came up recently of "should we make Swing truly multithreaded?" My personal answer would be "no", and here's why... The Failed Dream There are certain ideas in Computer Science that I think of as the "Failed Dreams" (borrowing a term from Vernor Vinge). The Failed Dreams seem like obvious good ideas. So they get periodical

    • 無印吉澤

      ■最近の活動について こちらのサイトでのブログ記事の更新は、ひとまず凍結しました。今後は複数のサービスを使い分ける形で情報発信したいと思います。 ある程度まとまったメモは、はてなブログで公開していきます。 http://muziyoshiz.hatenablog.com/ 職場ブログでも、DevOps担当のM.Y.名義で記事を書いてますので、こちらもどうぞ。 http://recruit.gmo.jp/engineer/jisedai/blog/ ■[programming]Google DevFest 2010 Japan Quizの問題とその答えの一例(Rubyで解きました) これまでのあらすじ: 3/18(木)に開催されるGoogle DevFest 2010の募集がかけられた。参加したらNexus Oneがただで貰えるのではないかと見込んだ(僕みたいな)応募者が殺到したせいかどうか

      • How are Unix pipes implemented?

        This article is about how pipes are implemented the Unix kernel. I was a little disappointed that a recent article titled “How do Unix pipes work?” was not about the internals, and curious enough to go digging in some old sources to try to answer the question. What are we talking about? Pipes are “perhaps the single most striking invention in Unix” — a defining characteristic of the Unix philosoph

          How are Unix pipes implemented?
        • CentOS 4 インストール個人的ノート

          ※ CentOS4は旧バージョンです。 新しいバージョンの記事はこちら: Linux インストール個人的ノート CentOS4 インストール、追加インストール、設定、調整の個人的ノート。 デスクトップとして使うための設定メモ集。 CentOSとはRed Hat Enterprise Linuxの商標、商用パッケージを削除したフリーのクローンディストリビュー ションである。CentOS4 はRHEL4の同等品で、Fedora Core 3 がベースになっ ている。Fedora よりも先進性は低いが、アップデートサポート寿命が長く安 定性は高い。また、インストールできるアーキテクチャも多い。インストール 手順はFC3とあまり変わりはない。CentOS4 のリリースは2005年3月2日。2008 年2月29日までは完全な更新がサポートされ、2012年2月29日までセキュリティ パッチなどメンテナ

          • 究極のWeb 2.0サイトか? 42nouns.com - モジログ

            「42nouns.com」というサイトが予告されている。 これこそ、究極のWeb 2.0サイトになるかもしれない。 Viva La Chipperfish - 42nouns.com is the Answer for Everything http://www.jrandolph.com/blog/?p=15 なぜ究極なのかというと、このサイトはドメインをとっただけで、何をやるか決めていないのだ(笑) そこで何をやったらいいか、意見を募集している。 条件は以下。 まず、以下のような技術を使うこと。 - YAML - AJAX - WiFi - RSS and Atom - Folksonomies (aka “tags”) - Tag clouds - Rollyo font - Screencasts - Podcasts - Built with the “Ruby… on Ice!

            • Pteromys: Interactive Design and Optimization of Free-formed Free-flight Model Airplanes

              (Left) Our model airplane design tool analyzes the aerodynamic properties of a glider and optimizes while the user interactively designs the plane. (Center) The user fabricates the airplane. (Right) The airplane actually flies. Abstract: This paper introduces novel interactive techniques for designing original hand-launched free-flight glider airplanes which can actually fly. The aerodynamic prope

                Pteromys: Interactive Design and Optimization of Free-formed Free-flight Model Airplanes
              • 404 Blog Not Found:学校では教えてくれないグッドラッパー英語#2 - wise vs. intelligent

                2007年02月18日02:30 カテゴリLogosValue 2.0 学校では教えてくれないグッドラッパー英語#2 - wise vs. intelligent Paul Grahamのおかげでこの企画、まだまだ続きます。 学校では教えてくれないグッドラッパー英語、今回は wise を取り上げます。 このwise、wiseに使わないと痛い目にあう言葉だったりします。 以下の二つの文を見て下さい。 He is wise. He is a wise guy. ニュアンスはさておき、全く同じ意味に見えますが、A.の意味でB.を使ったらとんでもないことになります。"a wise guy"というのは、893のことなのですから。 wiseにはもう一つ、接尾辞(suffix)としての用法もあります。"otherwise", "clockwise"のwiseです。"foowise"というと「foo的には

                  404 Blog Not Found:学校では教えてくれないグッドラッパー英語#2 - wise vs. intelligent
                • 中国IT企業レノボ グーグル携帯事業を買収 NHKニュース

                  中国のIT企業レノボ・グループは、29日、アメリカのIT企業グーグルが「モトローラ」のブランドで展開する携帯電話事業を29億1000万ドル、日本円で2970億円で買収することで合意したと発表しました。

                  • 「アニメ!アニメ!」を運営するイード、学研プラスより「アニメディア」等のアニメ関連事業を取得 | アニメ!アニメ!

                      「アニメ!アニメ!」を運営するイード、学研プラスより「アニメディア」等のアニメ関連事業を取得 | アニメ!アニメ!
                    • Consul 0.5 新機能(参考訳) | Pocketstudio.jp log3

                      Consul 0.5 がリリースされました。久々のメジャー・アップデートです。新機能や変更点がまとめられた内容が、HashiCorp のブログに投稿されました。例によって、自分の情報整理用の翻訳であり、死蔵しておくのもアレなので、参考程度にどうぞ。 ■ Consul 0.5 私たちは Consul 0.5 のリリースを誇りに思います。Consul とは、現代のデータセンタが必要とする多くの機能、例えば、サービス検出(service discovery)や設定やオーケストレーションなどを行う、データセンタ・ランタイムです。分散や高可用性、千台ものノードにスケールすることの立証や、複数のデータセンタにまたがるサービスを行えるように設計されています。 数か月前に行った Consul のメジャーリリースでは、その驚くべき安定正により、大きな新機能、ユーザ経験の改善、バグ修正に集中することができまし

                      • ABBAと一億総中流と製造業 - himaginary’s diary

                        先ほどNHK-BSプレミアムでABBAを取り上げていたが、お金絡みのテレビ番組で挿入曲として良く使われる曲に、ABBAの「Money, Money, Money」がある。改めてこの曲の歌詞を読んでみると、仕事に追われて生活にゆとりがない女性が金持ちの世界に憧れ一攫千金を夢見る、という内容のようである。 まさにそうした拝金主義をノアピニオン氏が直近のエントリで批判し、本ブログの昨日エントリへのコメントでご紹介いただいた。そのエントリで氏は、日本ではそれほど給与の高くない仕事に就いている人もプロとして遇され、上記の曲の女性のように負け犬根性を持つことも無い、と書いている。ただ、同エントリのコメント欄では、小泉改革以降それも変わりつつあり、「一億総中流」という言葉は聞かれなくなった、という指摘がなされ、ノアピニオン氏もそれに同意している。 一方、そうした中流社会の崩壊は製造業の軽視によるものだ、

                          ABBAと一億総中流と製造業 - himaginary’s diary
                        • iOS「Ingress」始めてからLv5になるまでに気をつけていた七つの心得

                          Googleが開発した,世界規模の陣取りゲーム「Ingress(イングレス)」。 ▼ Ingress 7/17に始めてまして,それから6日目の7/22にようやくAccessLEVEL(エージェントのレベル)はLv5となり。 現在もAPを稼ぐべく活動中です。 なぜ,仮想空間に浮かび上がるPortalを奪い合うことが。 現実世界に広がる,自軍のCF(Control Field)を見ることが。 先日の地元エージェント同士でのグループ活動が,こんなにも面白いのか。 こればっかりは,やってみないと伝わらないところですが・・・ 同じようにIngressを始めて,または始めたばかりで情報を欲しがっているあなたに。 この1週間で私なりに気をつけていたポイントを,7箇条でまとめました。 其の壱:APとして得られる経験値を把握せよ 始めたからには,まずはエージェントとしてのレベルを上げないといけません。 Ac

                            iOS「Ingress」始めてからLv5になるまでに気をつけていた七つの心得
                          • ヤフー、オーバーチュアを吸収合併、解散へ

                            ヤフーは8月28日、100%子会社であるオーバーチュアを10月1日付けで吸収合併すると発表した。オーバーチュアは解散する。 ヤフーは、米YahooがOverture Servicesを買収したことに伴い、2007年8月31日にオーバーチュアを100%子会社化していた。吸収合併する理由については、「今後も成長が見込まれる成果連動広告(リスティング広告)分野において、ヤフーのブランド力を最大限活用する」としており、広告売り上げの増加を見込んでいる。 オーバーチュアの2009年3月期の業績は、売上高が928億6200万円、営業利益が41億5400万円、純利益が18億4400万円。

                              ヤフー、オーバーチュアを吸収合併、解散へ
                            • 米ヤフー、ニュース要約アプリ「Summly」の買収を発表

                              UPDATE 新しい最高経営責任者(CEO)であるMarissa Mayer氏の下、買収を推進する米Yahooは米国時間3月25日、ニュース要約アプリ「Summly」を買収すると発表した。 Yahooは25日、モバイルおよび新製品担当シニアバイスプレジデントを務めるAdam Cahan氏によるブログの投稿でこの買収を発表した。Summlyは、ニュース記事から関連情報を抽出するアルゴリズムを使用して、記事全体へのリンクを残しつつ、「iPhone」の1画面に収まる簡潔な文章に変換するアプリである。10代のNick D'Aloisio氏が開発した同アプリは、CliffsNotesのニュース版のようなものである。 Summlyアプリは閉鎖されるが、「Yahooのモバイルエクスペリエンスを通して、近い将来登場する」予定だとCahan氏は述べた。D'Aloisio氏とそのチームは、数週間のうちにYah

                                米ヤフー、ニュース要約アプリ「Summly」の買収を発表
                              • Intel社がAltera社の買収に必死だったわけ

                                米Intel社は、FPGAメーカー大手の米Altera社を現金167億米ドルで買収すると発表した(参照記事)。Altera社が提示価格に不満を示して、一度破談を報じられたが、一転しての合意となった。1株当たり54米ドルという買収金額は、この3月に両社の交渉が初めて報じられた3月27日前日の株価34.58米ドルよりも56%高い。かなり高評価での買収である。 今回の提携話が3月に明らかになった時、多くの業界アナリストは、比較的冷ややかな見方をしていた。パソコン向けマイクロプロセッサー市場に比べてFPGAの市場規模が小さく、噂される買収金額の割に売上高が少ないと見たからだ。確かに、過去また現時点での売り上げだけで見れば、そのような評価も当然である。しかし最近のFPGAの応用の急拡大を見ると、今回の買収は、決して“王様のお戯れ”などではないことが分かる。

                                  Intel社がAltera社の買収に必死だったわけ
                                • Opera は Opera のまま

                                  多くの方がお聞きになられた通り、昨日チーフー 360 とコンロンを含む中国のインターネット企業から成るコンソーシアムが Opera に対して公開株式の全数買い取りを申し出ました。まず第一に重要な点は、この取引は未だ最終決着しておりません。弊社の株主がお持ちの株を申し出ている価格で先方に売るかどうか決していないからです。 Lets see if the offer is approved, but remember no matter what @opera is #StillYourOpera 🙂 https://t.co/yKQ4rcuwsy — Karin Greve-Isdahl (@kgisdahl) February 10, 2016 #Opera というハッシュタグがニュースのトレンドに上っておりますので、この機会に皆さんから親しまれ、信頼されている Opera 製品の将来に

                                    Opera は Opera のまま
                                  • シーン別クールな英語フレーズ集ープレゼン/ピッチ, デザイン/開発, マーケティング デザイン会社 ビートラックス: ブログ

                                    日本人がアメリカに来てビジネスをしようとする際にまず始めに直面するのが言葉の壁。正直なところ、完璧な英語が話せなくてもビジネスシーンで対等にやりあうことは十分可能である。しかしながら、日本国内の英語教育の影響か、多くの方々が教科書通りのフレーズを使ってみるが全く伝わらないケースが多発している。 そもそも日本の英語の教科書に載っているような表現はイギリス英語が多く、アメリカ英語の場合、ビジネスの場に於いてもスラングやくだけた表現が多い。 下記は以前に記載したフレーズ集をまとめ&改善した内容で、アメリカの会社内で日々頻繁に聞こえてくる表現ばかりなので、参考にして頂ければと思う。 プレゼン/ピッチ系編Let’s get it rolling. では早速始めてしまおう。We are boot-strapped. 我々の資金源は自己資金だけだ。Not getting any revenue for

                                      シーン別クールな英語フレーズ集ープレゼン/ピッチ, デザイン/開発, マーケティング デザイン会社 ビートラックス: ブログ
                                    • マイクロソフト TikTok運営会社の買収交渉か 米有力紙報道 | NHKニュース

                                      若者を中心に世界的に人気の動画共有アプリTikTokについて、アメリカのトランプ大統領は「禁止するかもしれないし、他の対応をするかもしれない。多くのことが同時に進んでいる」と述べ、引き続き利用の禁止を含めて、対応を検討していることを明らかにしました。 一方、アメリカの有力紙、ニューヨーク・タイムズは、大手IT企業マイクロソフトが、TikTokの運営会社の買収に向け交渉を進めていると伝えました。 トランプ政権は、中国企業が提供するアプリTikTokについて、利用者の個人情報が中国政府に悪用されるおそれがあるとしていて、トランプ大統領は31日、ホワイトハウスで記者団に対し「禁止するかもしれないし、他の対応をするかもしれない。多くのことが同時に進んでいる」と述べ、引き続き利用の禁止を含めて対応を検討していることを明らかにしました。 こうした中、ニューヨーク・タイムズは31日、マイクロソフトがTi

                                        マイクロソフト TikTok運営会社の買収交渉か 米有力紙報道 | NHKニュース
                                      • Getting Started with WebRTC

                                        Get started with WebRTC Stay organized with collections Save and categorize content based on your preferences. WebRTC is a new front in the long war for an open and unencumbered web. Brendan Eich, inventor of JavaScript Real-time communication without plugins Imagine a world where your phone, TV, and computer could communicate on a common platform. Imagine it was easy to add video chat and peer-to

                                          Getting Started with WebRTC
                                        • TechCrunch Japanese アーカイブ » マイクロソフト、Ustream.tvを$50Mで買収か?

                                            TechCrunch Japanese アーカイブ » マイクロソフト、Ustream.tvを$50Mで買収か?
                                          • Expired

                                            Expired:掲載期限切れです この記事は,ロイター・ジャパン との契約の掲載期限(30日間)を過ぎましたので本サーバから削除しました。 このページは20秒後にITmedia ニュース トップページに自動的に切り替わります。

                                            • アマゾンのアイロボット買収は「必然」だった【西田宗千佳のイマトミライ】

                                                アマゾンのアイロボット買収は「必然」だった【西田宗千佳のイマトミライ】
                                              • 肉のハナマサを買収…茨城のジャパンミート : ニュース : マネー・経済 : YOMIURI ONLINE(読売新聞)

                                                首都圏で業務用食品スーパー「肉のハナマサ」を展開する「花正」(東京都)を、北関東で食品スーパーを出店する「ジャパンミート」(茨城県)が買収することが7日、分かった。 花正の親会社である「全日本食品」(東京都)から、9月末をめどに約40億円で全株式を譲り受ける。8日発表する。 肉のハナマサは現在、都心部での24時間営業店を中心に4都県で約50店舗を展開している。急激な出店増で経営が悪化したため、2008年以降、中小スーパーの共同仕入れ事業を行う全日本食品の傘下で店舗統廃合などのリストラを進めてきた。新たにジャパンミート傘下に入り、安定仕入れを図る。店舗名は変えない。

                                                • CA1727 - ディスカバリ・インターフェース(次世代OPAC)の実装と今後の展望 / 片岡 真 | カレントアウェアネス・ポータル

                                                  CA1728 – 研究文献レビュー:図書館の「広報」は進化しているか?―説明責任と自己アピールの時代に求められる理論と実践― / 仁上幸治 ディスカバリ・インターフェース(次世代OPAC)の実装と今後の展望 1. OPACからディスカバリ・インターフェースへ  図書館が提供するコンテンツは、従来からOPACが守備範囲としてきた冊子体資料に加え、ライセンス契約の電子コンテンツ(電子ジャーナル、電子書籍、文献データベースなど)、リポジトリ中の研究成果、デジタル化された所蔵資料、マルチメディア資料など、多様化している。またユーザは、これらのコンテンツをGoogleのように一度に検索でき、Amazonのようにビジュアル化された画面や内容/レビューの表示、さらにリコメンド機能などが提供されることを期待するようになっている(1)。これを実現するものがディスカバリ・インターフェース(次世代OPAC)(2

                                                    CA1727 - ディスカバリ・インターフェース(次世代OPAC)の実装と今後の展望 / 片岡 真 | カレントアウェアネス・ポータル
                                                  • Video generation models as world simulators

                                                    We explore large-scale training of generative models on video data. Specifically, we train text-conditional diffusion models jointly on videos and images of variable durations, resolutions and aspect ratios. We leverage a transformer architecture that operates on spacetime patches of video and image latent codes. Our largest model, Sora, is capable of generating a minute of high fidelity video. Ou

                                                      Video generation models as world simulators
                                                    • https://jp.techcrunch.com/2015/04/16/20150415sources-yahoo-in-talks-to-buy-foursquare/

                                                        https://jp.techcrunch.com/2015/04/16/20150415sources-yahoo-in-talks-to-buy-foursquare/
                                                      • PHP: PHP 5 ChangeLog - Version 5.4.0

                                                        Getting Started Introduction A simple tutorial Language Reference Basic syntax Types Variables Constants Expressions Operators Control Structures Functions Classes and Objects Namespaces Enumerations Errors Exceptions Fibers Generators Attributes References Explained Predefined Variables Predefined Exceptions Predefined Interfaces and Classes Predefined Attributes Context options and parameters Su

                                                          PHP: PHP 5 ChangeLog - Version 5.4.0
                                                        • Microsoft has reportedly acquired GitHub

                                                          Microsoft has reportedly acquired GitHub / Deal could be announced on Monday By Tom Warren, a senior editor covering Microsoft, PC gaming, console, and tech. He founded WinRumors, a site dedicated to Microsoft news, before joining The Verge in 2012. Microsoft has reportedly acquired GitHub, and could announce the deal as early as Monday. Bloomberg reports that the software giant has agreed to acqu

                                                            Microsoft has reportedly acquired GitHub
                                                          • 各方面に配慮した桃次郎と桃子[かくほうめんにはいりょしたももじろうとももこ](順不同)≪ふりがなつき≫【There’s English】

                                                            各方面に配慮した桃次郎と桃子[かくほうめんにはいりょしたももじろうとももこ](順不同)≪ふりがなつき≫【There’s English】 昔々(むかしむかし)、あるところにおじいさんとおばあさん(アルファベット順(じゅん))がおりました。『あるところ』というのは日本(にほん)によく似(に)た異世界(いせかい)であり、現実世界(げんじつせかい)とはいかなる関(かか)わりもありませんでした。おじいさんとおばあさんは仲良(なかよ)く暮(く)らしておりましたが、二人(ふたり)の間(あいだ)には子(こ)どもがいませんでした。 ただし、決(けっ)して子(こ)どもがいないから不幸(ふしあわ)せであったというわけではありませんし、勿論養子(もちろんようし)をもらうという選択肢(せんたくし)もあったのですが、お互(たが)いのライフスタイルを尊重(そんちょう)した結果(けっか)、十分(じゅうぶん)な話(はな)

                                                              各方面に配慮した桃次郎と桃子[かくほうめんにはいりょしたももじろうとももこ](順不同)≪ふりがなつき≫【There’s English】
                                                            • graydon2 | Swift

                                                              Today Apple introduced a new language called Swift, along with some pretty hot livecoding environment which, while neat, is an area I'm not very expert in so I'm going to ignore. I am certain the livecoding nerds will discuss it elsewhere. Swift-the-language I've just finished (quickly and lightly) reading the manual for, so I'll suggest you take my commentary with a grain of salt, but I can point

                                                              • 16 Startup Metrics | Andreessen Horowitz

                                                                We have the privilege of meeting with thousands of entrepreneurs every year, and in the course of those discussions are presented with all kinds of numbers, measures, and metrics that illustrate the promise and health of a particular company. Sometimes, however, the metrics may not be the best gauge of what’s actually happening in the business, or people may use different definitions of the same m

                                                                  16 Startup Metrics | Andreessen Horowitz
                                                                • Chatbot and Related Research Paper Notes with Images

                                                                  Papers related to chatbot models in chronological order spanning about 5 years from 2014. Some papers are not about chatbots, but I included them because they are interesting, and they may provide insights into creating new and different conversation models. For each paper I provided a link, the names of the authors, and GitHub implementations of the paper (noting the deep learning framework) if I

                                                                    Chatbot and Related Research Paper Notes with Images
                                                                  • マイクロソフト、開発者向けサービスのGitHub買収で合意

                                                                    米マイクロソフトは、ソースコードのバージョン管理ツールを利用した共有ウェブサービスを提供する米ギットハブを買収することで合意した。事情に詳しい複数の関係者が明らかにした。合意は4日にも発表される可能性があるという。ギットハブのウェブサービスは多くのソフトウエア開発者の間で人気を博している。 これら関係者の1人によると、ギットハブは株式上場よりも会社売却を望み、サティア・ナデラ最高経営責任者(CEO)に好印象を持ったことなどからマイクロソフトを売却先に選んだ。同関係者は情報が部外秘だとして匿名で語った。3日時点では合意の条件は明らかになっていない。ギットハブは2015年に20億ドル(約2200億円)の評価を受けている。 サンフランシスコに本拠を置くギットハブは人気のサービスで利益を挙げることができず9カ月前から新CEOを探していたが、この買収が実現すれば前進が可能になる。また、オープンソース

                                                                      マイクロソフト、開発者向けサービスのGitHub買収で合意
                                                                    • Web Style

                                                                      The Purposes of E-commerce Website and Web format Since the importance of eCommerce internet site is growing bizarre and fantastic, the importance of e-commerce internet format also is growing. Before going to talk about more or less E-commerce internet format, everybody ought to necessarily notice more or less e-commerce internet site, and its services and products. Here are a few compulsory diff

                                                                      • 米AIスタートアップのWave ComputingがMIPSを買収 ~非ノイマン型プロセッサを開発

                                                                          米AIスタートアップのWave ComputingがMIPSを買収 ~非ノイマン型プロセッサを開発
                                                                        • HOYA、リコーにペンタックス売却 正式発表

                                                                          HOYAは7月1日、「ペンタックス」ブランドのカメラ事業を10月1日付けでリコーに売却すると正式発表した。 売却するのは、ペンタックスブランドでデジタルカメラ、交換レンズ、関連アクセサリー、セキュリティカメラ、双眼鏡など光機製品の開発・製造・販売を展開するHOYAの「PENTAX イメージング・システム事業」。デジタルカメラモジュールやDVDピックアップレンズなどの事業はHOYAに残す。 リコーはコンシューマー事業の確立を目指し、カメラ事業を拡大していく考えで、ペンタックスのレンズ交換式カメラ技術やレンズ技術、販売チャネルを役立てる。 関連記事 ペンタックスがリコーに? HOYAが売却検討と報道 HOYAが「ペンタックス」ブランドのカメラ事業をリコーに売却することを検討していると各紙が報じた。 ペンタックス吸収合併 新会社は「HOYA」 HOYAは、子会社化したペンタックスを来年3月31日

                                                                            HOYA、リコーにペンタックス売却 正式発表
                                                                          • ROOT: analyzing petabytes of data, scientifically.

                                                                            ROOT comes with an incredible C++ interpreter, ideal for fast prototyping. Don’t like C++? ROOT integrates super-smoothly with Python thanks to its unique dynamic and powerful Python ⇄ C++ binding. Or what about using ROOT in a Jupyter notebook? New ROOT student course for self-study (28 Aug 2024) The academic year is about to start, so why not learn ROOT with us? During the summer, the ROOT team

                                                                              ROOT: analyzing petabytes of data, scientifically.
                                                                            • TechCrunch | Startup and Technology News

                                                                              While funding for Italian startups has been growing, the country still ranks eighth in Europe by VC investment, according to Dealroom. Newly created Italian Founders Fund (IFF) hopes to help…

                                                                                TechCrunch | Startup and Technology News
                                                                              • 代数的データ型と準同型写像 - プログラムモグモグ

                                                                                最近考えていることを述べます. 代数的構造と準同型写像に関する考察です. 特に必要な知識は無いつもりですが, Haskellのコードを読めると嬉しいです. import Prelude hiding 以下のものを隠しておいて下さい. import Prelude hiding ((+), (++), length, True, False, Bool) 自然数とリストの定義 まず, 自然数(非負整数)とリストの定義からスタートします. data Nat = Zero | Succ Nat deriving (Show, Eq) 自然数はこんな感じです. ペアノの公理ですね. ここでは, 表示できるようにShowクラスのインスタンスとして自動導出しています. 更に, 同値であるか調べられる, という意味で, Eqクラスの自動導出もしています. ここで注意していただきたいのは, 名前が重要では

                                                                                  代数的データ型と準同型写像 - プログラムモグモグ
                                                                                • https://jp.techcrunch.com/2011/12/06/20111205gowalla-acqhire/

                                                                                    https://jp.techcrunch.com/2011/12/06/20111205gowalla-acqhire/