新型コロナの感染拡大防止のため、外出の自粛が要請されていますが、こんな時は自宅で勉強するのが良いかもしれませんね。 せっかくなので、この機会にOCamlを復習してみたいと思います。 logmi.jp kuis-isle3sw.github.io try.ocamlpro.com yusukekokubo.github.io OCaml練習帳 · GitHub coordination.hatenablog.com togetter.com プログラミング in OCaml 〜関数型プログラミングの基礎からGUI構築まで〜 作者:五十嵐淳 発売日: 2014/12/09 メディア: Kindle版 プログラミングの基礎 (Computer Science Library) 作者:浅井 健一 発売日: 2007/03/01 メディア: 単行本 Real World OCaml 作者:Minsk

2019年7月29日、Opt Technologiesが主催するイベント「Fun Fun Functional (2) 関数型言語Lightning Talks!!」が開催されました。関数型プログラミングについて楽しく学び、知見を共有することを目的に開催されている本勉強会。今回は6名のエンジニアが、関数型プログラミング言語にまつわるユニークな発表を行いました。プレゼンテーション「OCamlとCoqでブロックチェーンプログラミング 」に登壇したのは、yoshihiro503氏。 OCamlとCoqでブロックチェーンプログラミング yoshihiro503氏（以下、yoshihiro503）：みなさんこんにちは。こういう鶏のアイコンのyoshihiro503です。今日「OCamlは良いぞ！」という話をします。株式会社ドワンゴのDMC開発部に所属しています。 簡単に自己紹介を

2019年7月29日、Opt Technologiesが主催するイベント「Fun Fun Functional (2) 関数型言語Lightning Talks!!」が開催されました。関数型プログラミングについて楽しく学び、知見を共有することを目的に開催されている本勉強会。今回は6名のエンジニアが、関数型プログラミング言語にまつわるユニークな発表を行いました。プレゼンテーション「関数型初心者にこそおすすめしたい言語 "OCaml" 」に登壇したのは、cedretaber氏。講演資料はこちら 関数型初心者にこそおすすめしたい言語 "OCaml" cedretaber氏（以下、cedretaber）：「関数型初心者にこそおすすめしたい言語 "OCaml"」ということで、またOCamlの話だということになってしまうんですが。 自己紹介、cedretaberと申します。 「ドワンゴから来ました」っ

この記事は型 Advent Calendar 2019の23日目です。 おはようございます！！！coord_eです、よろしくどうぞ。 はじめに この記事ではOCamlみたいなML系言語が登場します。関数型プログラミング言語と呼ばれる何かしらに触れたことがある人ならお気持ちで読み取れると思います。そうでない人はこちらからOCamlに入門してみると楽しいと思います。楽しいと思いますって何ですか... また、私は正直なところこの記事を書くにあたって関連する十分な量の文献を読みこむことができたわけではなく、誤りが存在することは容易に想像できます。誤字や誤謬を発見された方は@coord_eまでご連絡ください。 概要 型クラス (type class)はWadlerによって[1]で提案された言語機能だ。本記事では型クラスを導入する動機をオーバーローディングの観点から紹介した後、Wadlerの型クラスを

SecHack365 2019 Advent Calendar 14日目の記事です(大遅刻)． what is this きっかけ 実装したもの 型と型推論について 型？ 型付け規則はこわくない 型環境 型付け規則を読む 整数 変数 ラムダ抽象 関数適用 let式 let rec式 型推論？ Hindley-Milner Type System Hindley-Milner型推論 型の連立方程式 多相性 実装 感想 参照したリンクとか what is this 型理論とか全く知らない人がHindley-Milner型推論器(+ REPL)をCで実装したお話． 記事に誤謬などを発見したらコメントとかDM，リプライください(@cmpl_error)． きっかけ 今年の4月からHindley-Milner型推論という型推論アルゴリズムがあるのはなんとなく知っていて，実装してみたいなーという気持ち

2019年が終わろうとしています あけおめ～さて2020年になりました。歴史が長い形式手法の今後を占うため、過去と直近の出来事を振り返りたいと思います。 ツッコミやタレコミは私のTwitter宛かあなたのブログかその他経路でお願いします～ シンボリック実行は形式的であるため本稿では形式手法に含めることにします。 Fuzzing関連はサーベイが甘いので漏れが多いかもしれません。 形式手法・形式検証とは 形式検証とは、厳密に定義された意味論の下で仕様やプログラムが所定の性質を満たすことを形式的に検証するための手法をいいます。「形式的に」とは、検証が事前に定義された知識だけに基づいており、検証手順が決定的であることをいうと私は理解しています。 形式手法は、形式検証に加えて、形式的にプログラムの仕様を厳密に定義するための手法を包含します。 本記事では形式手法を以下の通り大きく3つに独自に分類します

こんにちは。倉内です。 paizaではプログラミング問題を解いて、プログラミングスキルをS・A・B・C・D・Eの6段階にランクづけするスキルチェックというサービスを提供しています。 ランクの取得はpaizaの就職・転職サービスでの求人応募につながるため、問題の解答や解説は提供していないのですが、プログラミング練習問題というコンテンツではSNS上での相談やコードの公開が可能です。 このたびその練習問題を「レベルアップ問題集」としてリニューアルし、テストケースの入力値や一部問題の解答コードを見ることができるようになりました。 画面も一新し、RPGを攻略するようなイメージで楽しく問題を解くことができます。 今回は「レベルアップ問題集」の内容を簡単にご紹介します。プログラミングを独学されている方の強い味方となると思いますのでぜひ活用してみてください！ レベルアップ問題集とは スキルチェック本問題と

こんにちは。倉内です。 初めてプログラミングを学ぶとき、どのプログラミング言語を選ぶといいでしょうか？ とりあえず体験してみたいだけであれば学習コストが低いものを選ぶのがいいと思います。また、やりたいこと（たとえば、Webサービス作りたい、機械学習やりたい、ゲーム開発したいなど）があるなら、もちろんそれを実現するのに適した言語やフレームワーク、周辺技術を学ぶほうがいいでしょう。楽しく学び続けるためには大切なことです。 しかし、プログラミングを学習して未経験からITエンジニアを目指そうと考えているなら、「そのプログラミング言語は業務において需要があるか？」つまり「未経験でも応募できる求人が多いか？」という視点を持ってみてもいいかもしれません。特に、新卒や第二新卒ではなく中途採用で未経験からITエンジニアになる場合、実務経験を売りに転職できるわけではないので、需要が極端に少ないものを学んでもそ

印刷する メールで送る テキスト HTML 電子書籍 PDF ダウンロード テキスト 電子書籍 PDF クリップした記事をMyページから読むことができます 「Python」は相変わらず、開発者の間で根強い人気を誇るプログラミング言語だ。一方、「Java」と「JavaScript」の評判――もしくは不評――については、プログラマーによって答えがまちまちだ。 フランスのコーディングスキル開発企業のCodinGameが、人気プログラミング言語とキャリアの詳細について、2万人の開発者を対象に調査した。 それによると、JavaScript、Java、Python、「C++」「C」が特に多くの人に習得されたプログラミング言語だった。習得者が特に少なかったのは「Clojure」「F#」「OCaml」だ。 「最も人気がある」言語は、最も多くの人に習得された言語とは違ったが、トップ5には順位こそ違えど、ほぼ

私の家系はもともと檜(ひのき)や杉を育てる林業を営んでいました。 しかし、林業の衰退に伴い山はだんだん荒れて行きました。 そんな時、山を有効活用できないかと考えていた父と 花が好きで県外まで見に行く母から「高見の郷」は誕生しました。 日本全国桜の名所はたくさんありますが、しだれ桜ばかり1000本は大変珍しいです。 しだれ桜の成木を買って来て、2004年に植え替えました。 生長した枝垂れ桜をお楽しみください。 時間/9時〜17時（受付16時00分） 料金/大人1,500円、小中学生500円、小学生未満無料、(園内送迎も可、無料) 住所/奈良県吉野郡東吉野村杉谷298-1(現地) 奈良県桜井市外山747桜井ゴルフセンター(事務局) 交通/(車)　名阪国道針インター〜大宇陀経由国道166号線沿い。奈良県と三重県の県境である高見トンネルより約1㎞奈良県側。 (電車・バス)　2024年4月5日(金)

素敵な人が居たんだろな。 https://t.co/ciWeK9pmLx

熊本県・阿蘇郡高森町にある「上色見熊野座（かみしきみくまのざ）神社」は、深い森の中に粛然と佇むパワースポット。南阿蘇鉄道「高森駅」から車で約10分、長い参道はまるで異世界へと続く道のように幻想的な雰囲気です。 石段を登った先にある神殿には「伊邪那岐命（いざなぎのみこと）」「伊邪那美命（いざなみのみこと）」、そして「石君大将軍（いわぎみたいしょうぐん）」が祀られています。御神木の「梛（なぎ）」は、簡単に裂けないその葉の特徴から“縁が切れない”として、恋愛成就や商売繁盛にご利益があるといわれる縁起の良い木です。恋愛成就・商売繁盛だけではなく、真摯に願えばその想いは伝わると宮司さんは仰っていました。

神社とか好きな人は南阿蘇にある上色見熊野座神社には絶対に行ったほうがいい。まじで異世界 https://t.co/lSA4Hz2huR

小池都知事の首を取りに行く戦国時代劇みたいで好き https://t.co/56tIl8RZpu

小役人のリアル日常。ツイートは個人的見解＆所属組織無関係。本籍は富山/生まれ育ちは東京/DNA関西。年長の節子&3歳の二郎、宿六と暮らす。ゆるふわとバリキャリの間の具現化を目指す芸人見習い。下らないツイートしかしません。名前をググるの禁止。

みんな冷静に計算してほしいけど、東京都の新コロナ感染者数は現在１７１人。東京から無作為に２００人をピックアップしたときに、その中に超有名人の志村けん氏が入ってる確率ってどのくらいだと思う？　現在の感染拡大ペースは我々の想像をはるかに超えてるよ。桁違いの感染者数になってるよ。

ブコメがひどい。水曜日のダウンタウンとやらによれば志村けんは日本の知名度ランキング15位。そんな人が感染してるなら、実際の感染者は200人よりはるかに多いのでは、という推論が、そんなに変か?

［東京　２６日　ロイター］ - 菅義偉官房長官は２６日午後の会見で、新型コロナウイルスについて、まん延する恐れが高いものの、新学期から学校を再開する方針を変更する必要はないとの認識を示した。 菅官房長官は、学校の再開は専門家会議での意見を参考に決めており、そこで提起された「いろいろな指摘を守っていけば、（学校の再開は）問題ない」との見解を示した。 一方、東京都の小池百合子知事が２５日夜、今週末の外出自粛を呼びかけた後に、都内のスーパーなどで食料品の不足が顕在化していることに対し、菅官房長官は「食料品は十分な供給力があり、一部のスーパーでは２─３倍の入荷を行っているところもある。冷静な対応をお願いしたい」と述べた。

満開を迎えようという桜、そして笑顔の男女──その中心にいるのは、安倍首相の妻・昭恵夫人だ。森友学園問題をめぐり自殺した近畿財務局職員の手記が報じられ、疑惑が改めて注目される中、渦中の昭恵夫人は私的な“桜を見る会”を楽しんでいた。 3月下旬の都内某所、ライトアップされた桜をバックに肩を寄せ合う13人。その中心に写っているのが昭恵夫人だ。写真を見た、参加者の知人はこう話す。 「この日の参加者は、昭恵さんと以前から交流があった人が中心だそうです。写真で昭恵夫人の隣にいるのは人気モデルの藤井リナさん。藤井さんは2014年にYouTubeで昭恵さんと対談するなど、もともと交友があったようです。他にもアイドルグループ・NEWSの手越祐也さんや音楽プロデューサーなど芸能関係者の姿もありました」

和牛向けのお肉券が話題ですが、あれも現場の農家の皆さんが大変な状況を訴え、こういう時も見越して日頃から政治に関わってるから党の部会で取り上げられてるわけで、それを鼻で笑う論調はいかがかと。毎回投票に行き、ボランティアして、時に献金もしてる現場の皆さんを私は笑いません。

【質問】最高の整腸剤はどれですか？ こんなご質問をいただきました。   鈴木さんは複数の整腸剤を紹介していますが、その中で誰にでもお勧めできるベストな商品はどれですか？整腸剤を試してみたいのですが、いろいろと紹介されていてどれを選べばいいかわかりません。   とのこと。ここで言う整腸剤は、当ブログで... 【続報】OptiMakura-オプティマクラ-の価格とか発売日とか 快眠枕「OptiMakura(オプティマクラ)」 一昨年あたりから、快眠用の枕を作っておりました。どんな機能を狙ったのかと言いますと、   熱を逃がしてくれる（ぐっすり眠るには放熱がめっちゃ大事なんで） 自分の高さにあった形に調整できる（人によって首の長さや太さがまっ...

締め切り間近の仕事があるのに、SNSのタイムラインを見るのがやめられない。そんな「集中できない自分」にイラついてしまうビジネスパーソンも多いことでしょう。 こういう時、なんとなく 「追い詰められないと動けない“性格”だから…」 「“意志”が弱いから…」 と言い訳して、自分を納得させていませんか？ 一方で、自分をうまくコントロールしながら膨大な量の仕事をバリバリとこなす“集中の達人”もいます。今回お話をお伺いしたサイエンスライターの鈴木祐さんもその一人。1日平均15本の論文と3冊の本を読み、2～4万字の原稿を生み出し続けています。 鈴木さんの圧倒的な集中力を支えているのは、性格や意志ではなく、集中を持続させる“仕組み”。その仕組みを、科学的なエビデンスに基づくメソッドで作り上げれば、誰でも「ヤバい集中力」を手に入れられるのだといいます。 「本気を出せば何とかなる」と思いがちなあなたに、実践し

※この話は東京都でのものになります。各都道府県で対応は変わると思います※ 「全身が、自分で制御できないくらいブルブルと震えるようなことはありませんか？」 「え、それってコロナの特徴なんですか？」 「そういうこともあります」 「それはないですけど･･････あ、でもそういえば、3、4週間前に電車に乗ったときにそんな人いました。満員電車だったんですけど、すごい体調が悪そうで･･････まるで痙攣のように震えてて、これはまずいと気付いてから僕は違う車両に移ったんですけど。もしかしたらそこで感染したんですかね･･････？」 「･･････」 「でも、僕がその車両から出たとき、さらに大勢の方がその車両になだれ込むように乗っていきましたけど･･････その方々は大丈夫なんですかね？」 ーーーそんなわけで、僕が肺に痛みを感じ始めてから2週間ほどの日が流れました。 この症状には波があり、良くなってきたと

においや味を感じなくなることが、新型コロナウイルスに感染した兆候のひとつである可能性を示す調査結果が、韓国で発表された。 韓国で最も感染者数が多い大邱の医師会によると、新型コロナウイルスの感染者３１９１人から電話で聞き取りをした結果、１５．３％にあたる４８８人が嗅覚か味覚に問題があると答えた。このうち２５１人は、嗅覚と味覚の両方に異常があると答えたという。 大邱の医師会の幹部は、韓国メディアの取材に対し、「発熱やのどの痛みなどがなくても、嗅覚や味覚の異常を感じたら、検査を受けて自宅にとどまった方がいい」と話している。 においや味を感じなくなることが、新型コロナウイルスに感染した兆候のひとつである可能性は、韓国だけでなく他の国でも指摘されている。

","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag ＰＣ誘導枠５行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

阪神・藤浪晋太郎投手（25）が、新型コロナウイルス感染の有無を調べるために受けていたPCR検査で「陽性」と判定されたことが26日、明らかになった。現役のプロ野球選手として初の感染となった。数日前から嗅覚、味覚の異常を訴えたことで診察を受けた病院のドクターから同検査を打診されていた。この日、同投手の検査を受けてチームは1、2軍全選手を対象に1週間の自宅待機を通達していたが、陽性と診断されたことで今後、チーム内で感染が拡大していくリスクもはらんでおり、開幕へ向けて準備を進めていたチームの先行きは不透明になりそうだ。 【写真】藤浪のPCR検査を受け、防護服を着た作業員が甲子園球場を消毒 ついにプロ野球選手にも新型コロナウイルス感染者が出た。藤浪は25日まで通常通り練習に参加。現在も発熱やせき、倦怠（けんたい）感などの症状は出ていないという。数日前に「ワインやコーヒーの匂いがしない」と嗅覚の異常を