帰納関数プログラミングシステム MagicHaskeller
片山 晋が開発している，てけとープログラマおよび初心プログラマ向け自動HaskellプロクラミングシステムMagicHaskellerの日本語ページです． 小難しい話はトップページのPublicationsのところ参照．特に，TFP2005のやつとPRICAI2008のやつ． 英語ページの方が充実してますが，売国奴ではありません．日本語ページの方がよくまとまっていると考えていただければよろしいかと． (最近 MagicHaskeller Agent 使って「忖度できる汎用人工知能」ってのを作ってます. 「何じゃそりゃ」って方はこちら) Web版 関数fの仕様を述語(Trueとなるはずの式)の形で書くべし．その仕様を一般化した関数が得られるよ！ 例 注意事項： Bool値を返すHaskellの式を入力してください．(ただし、letとwhereは意図的に禁止しています。) Standard P
レヴァンドフスキ：「タイトルを置いていきたい」 | Goal.com
ボルシア・ドルトムントFWロベルト・レヴァンドフスキが、自身の将来について言及している。ドイツ『シュポルトビルト』とのインタビューで、すでに新天地が確定していることを示唆した。 今夏、バイエルン・ミュンヘンへの移籍が濃厚と見られていたレヴァンドフスキ。だが、２０１４年に契約満了となるにもかかわらず、クラブ側は残留を命じた。当初は移籍志願を抱える選手を引き止めることで批判の声も挙がっていたが、レヴァンドフスキは自身の活躍を疑問視する意見に結果で答えている。 レヴァンドフスキは今季、リーグ戦１１試合で９ゴール５アシスト、チャンピオンズリーグの３試合で３ゴール１アシストを記録している。チームもこれまで行われているホーム６戦を全勝しつつ、１試合あたり平均で２１シュートを記録するなど攻撃力の進化を示している。 レヴァンドフスキは、インタビュー内で目標にタイトルの獲得を掲げている。２０１４年夏の移籍を
シュールレ：「モウリーニョの批判は妥当」 | Goal.com
チェルシーMFアンドレ・シュールレは、プレミアリーグ第１０節でニューカッスルに敗戦した後、チームを批判したジョゼ・モウリーニョ監督の発言が正しいものだったと主張している。 チェルシーは、２日に行われたプレミアリーグでニューカッスルに０－２と敗戦。敵地で黒星を喫して公式戦での連勝を６でストップしたチームに、モウリーニョ監督は「１１個の間違いをした」と先発選びのミスを認めていた。 シュールレは、イギリス『デイリー・ミラー』で指揮官の言葉に理解を示している、 「モウリーニョが怒るのも、無理のないことだよ。僕たちは悪い試合をしてしまった。うまくプレーできなかったんだ。監督が僕たちに満足しなかったのは、当然のことだ」 「僕たちが何か間違えているときやうまくプレーしていないとき、彼は僕たちにストレートに話してくる。常に顔を合わせて直接言ってきてくれるんだ」 シュールレは、チーム全体がモウリーニョ監督の
C・ロナウド、CL今季８点目も満足せず | Goal.com
レアル・マドリーは、５日のチャンピオンズリーグ・グループB第４節、敵地でユヴェントスに２－２と引き分けた。この試合で得点を挙げたFWクリスティアーノ・ロナウドは、内容に満足感を表すもより良い未来を期待すると語っている。 マドリーは４０分、MFアルトゥーロ・ビダルにPKで先制を許す。しかし、５２分にC・ロナウドが同点弾を沈めると、６０分にMFガレス・ベイルが逆転ゴールを奪った。勝利に近づいたマドリーだったが、ユーヴェも意地を見せFWフェルナンド・ジョレンテが再び同点とするゴールを挙げ、ユーヴェと勝ち点１を分け合う格好となっている。 ユーヴェ戦のゴールで、今季CLで８得点目を記録したC・ロナウド。４試合で８得点とハイペースで得点を量産する同選手だが、記録にはこだわらない姿勢を示している。スペイン『マルカ』がコメントを伝えた。 「とても調子が良いし、周囲の人からの愛も感じられる。良い感じだよ。僕
Accumulo
Read it now on the O’Reilly learning platform with a 10-day free trial. O’Reilly members get unlimited access to books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers. Get up to speed on Apache Accumulo, the flexible, high-performance key/value store created by the National Security Agency (NSA) and based on Google’s BigTable data storage system. Wri
サービス終了のお知らせ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
オブジェクト指向スクリプト言語 Ruby リファレンスマニュアル (Ruby 2.0.0)
Ruby オフィシャルサイト http://www.ruby-lang.org/ja/ version 2.0 対応リファレンス 原著：まつもとゆきひろ 最新版URL: http://www.ruby-lang.org/ja/documentation/ 使用上の注意 Ruby 2.0 の組込みクラスのリファレンスはほぼ揃っています。 Ruby 2.0 の標準添付ライブラリのリファレンスは一部未完成です。 それ以外のドキュメントについては、まだまだ書き直しが必要です。 目次 はじめに コマンド Rubyの起動 環境変数 Ruby 言語仕様 Ruby でのオブジェクト: オブジェクト クラス プロセスの実行: Ruby プログラムの実行 終了処理 スレッド セキュリティモデル Ruby の文法: 字句構造 プログラム・文・式 変数と定数 リテラル 演算子式 制御構造 メソッド呼び出し(sup
走るモチベーション上がるかも！ アディダスのランナー向けスマートウォッチ｢miCoach SMART RUN｣を発売前に先行入手した！
走るモチベーション上がるかも！ アディダスのランナー向けスマートウォッチ｢miCoach SMART RUN｣を発売前に先行入手した！2013.11.06 12:306,425 これを付けて走りたい！ アディダスがランナー向けに開発した次世代のスマートウォッチ｢miCoach SMART RUN｣（マイコーチ・スマートラン）がいよいよ登場です！ 11月15日（金）から全国のadidas直営店とadidas ONLINE shopで発売開始します。 miCoach SMART RUNはアディダスのトレーニング用アプリ｢miCoach.com｣と連携したスマートウォッチで、心拍センサー、音楽プレーヤー、GPS、加速度センサーを搭載したランナー用のウェアラブル・ガジェットです。 また心拍数をリアルタイムで読み取って、その時に応じた適切なコーチングを音声や画面表示で知らせてくれることも可能。これ1
TechCrunch | Startup and Technology News
Live Nation says its Ticketmaster subsidiary was hacked. A hacker claims to be selling 560 million customer records. An autonomous pod. A solid-state battery-powered sports car. An electric pickup truck. A convertible grand tourer EV with up to 600 miles of range. A “fully connected mobility device” for young urban innovators to be built by Foxconn and priced under $30,000. The next Popemobile. Ov
人生のヒント 人生の悩みごとへの解答、ヒント、答え。哲学や倫理に関する話をまとめています｜
🥲 わたしすごく自己肯定感が低くて…。 『私にはいいところなんて何もない』って思っちゃうんです… こういうのってどうし …
Adobeの情報流出で判明した安易なパスワードの実態、190万人が「123456」使用
Adobeから流出したユーザーのパスワードをセキュリティ企業が調べた結果、「123456」「qwerty」などの安易なパスワードを使っているユーザーが大量に存在することが分かった。 米Adobe Systemsのネットワークが不正アクセスされて大量のユーザー情報などが流出した事件で、流出したパスワードを調べたセキュリティ企業が、依然として「123456」などの安易なパスワードを使っているユーザーが大量に存在する実態を指摘した。 Adobeの情報流出は10月3日に発覚し、影響を受けるユーザーは少なくとも3800万人に上ることが分かっている。同社によると、流出したパスワードは暗号化されていたが、パスワードセキュリティを手掛ける米Stricture Consulting Group（SCG）はこの情報を分析し、使用者数の多かった上位100のパスワードを割り出した。 集計できた理由としてSCGのジ
中核派が天皇の権威に屈したようです（dragoner） - エキスパート - Yahoo!ニュース
山本太郎参議院議員が天皇陛下に「直訴」した件、山本議員の進退を巡って未だに燻り続けておりますが、11月4日、山本議員に力強い応援が現れたようです。 山本太郎議員を擁護する中核派機関紙「前進」紙面（「前進」サイトより）10月31日に行われた園遊会で、福島原発事故が引き起こしている深刻極まる現実を訴えて、山本太郎参院議員が天皇に手紙を直接渡した。このことに対し、自民党を始めとする国会の与野党およびマスコミが、山本氏に許すことのできない卑劣な攻撃を集中している。山本氏に「議員辞職」を迫ったり、参議院としての処分を検討したりと、天皇制イデオロギーと白色テロルの恫喝による、山本氏の闘いの圧殺がたくらまれている。 出典:週刊「前進」：山本太郎氏への与野党とマスコミの攻撃粉砕しよう へー（棒）。 山本太郎議員が選挙運動にあたり、「革命的共産主義者同盟全国委員会」こと、過激派の中核派とその関連団体から支援
Development articles, tutorials, and free resources | Learn about development | Udemy Blog
Get to know the latest programming languages. Learn coding tips and tricks.
FINDJOB!終了のお知らせ | FINDJOB!
FINDJOB! 終了のお知らせ 2023年9月29日にFINDJOB!を終了いたしました。 これまでFINDJOB!をご利用いただいた企業様、求職者様、様々なご関係者様。 大変長らくFINDJOB!をご愛顧いただき、誠にありがとうございました。 IT/Web系の仕事や求人がまだ広く普及していない頃にFind Job!をリリースしてから 約26年間、多くの方々に支えていただき、運営を続けてまいりました。 転職成功のお声、採用成功のお声など、嬉しい言葉もたくさんいただきました。 またFINDJOB!経由で入社された方が人事担当になり、 FINDJOB!を通じて、新たな人材に出会うことができたなど、 たくさんのご縁をつくることができたのではないかと思っております。 2023年9月29日をもって、FINDJOB!はその歴史の幕を下ろすこととなりましたが、 今後も、IT/Web業界やクリエイティブ
Googleのシュミット会長、「米政府がデータセンターに侵入」報道に強い怒り
米政府が米Googleや米Yahoo!のデータセンターに侵入して大量のデータを取得していたという報道に対し、Googleのエリック・シュミット会長は「事実なら強い怒りを覚える。違法な可能性もある」と米Wall Street Journalのインタビューに答えた。 米Washington Postは10月30日、米国家安全保障局（NSA）と英政府通信本部（GCHQ）が合同作戦「マスキュラー」で、GoogleやYahoo!のデータセンターに通信回線を通じて侵入していたと報道。大量の電子メールやユーザ情報を海外のデータセンターにコピーしたという。 ただ、NSAのキース・アレキサンダー長官は「裁判所命令がなければ企業のサーバにはアクセスできない」と報道を否定している。 シュミット会長はインタビューで「事実であれば極めて腹立たしい」と述べ、NSAとバラク・オバマ大統領、連邦議会議員に苦情を申し立てた
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Java 8: Lambda Expressions and Streams LiveLessons (Video Training) | InformIT
ggsoku.com
レアル・マドリーの高給取り ベスト10
ガッリアーニにPSG行きの噂が浮上 ほか
コートを完璧に着こなすベッカムの最近の私服はこんな感じ
【地図ウォッチ】第133回：100kmマラソンで使用可能、Edyにも対応のGPSウォッチ「ARES Ultra」 
【地図ウォッチ】第155回：GPSランニングウォッチで最軽量?! GARMIN「ForeAthlete 10J」 
英国大使館の公式キッチン 【クックパッド】 簡単おいしいみんなのレシピが390万品
Googleが有料制で動く「Yahoo!知恵袋」のようなサービスを開始したようです(山本一郎) - 個人 - Yahoo!ニュース
InfluxDB | Real-time insights at any scale | InfluxData
https://www.suntory.co.jp/brandy/recipe/01.html
百田尚樹 on Twitter: "そうです！中国人は昔からやります。日本人にはない特性です。 RT @Ksmagic52: 通州事件で被害にあった方々の写真が南京大虐殺の証拠としてでっちあげられたのは有名な話です。犯人は蒋介石国民党軍。遺体を陵辱するなどの行為は支那人特有のものですね。"
｢Windows Phone｣のシェア、イタリア市場で｢iOS｣を追い抜く | 気になる、記になる…
新型Mac Proの6コアモデルのベンチマークスコアが明らかに | 気になる、記になる…
GitHub - junegunn/fzf: A command-line fuzzy finder