Coqに入門した感想 - 未完成な論を綴るブログ
最近、定理証明支援のCoqを入門している。というのは、以前の職場にいたときの職場でもCoqをやっている先輩がいて、今回の職場でも定理証明支援系を使っている同僚がいて、しかも最近自分はプログラミング言語実装をやっているためか、Coqや依存型について聞かれることがあるので、一念発起して取り組み始めた。 しかし、案の定、何から始めたらいいのかわからず入門に躓いてしまい、かなり難しいと感じた。しかも一番最初に読み始めた本が、Certified Programming with Dependent Typeという初心者向けではない本だったため、事態は混迷を極めていた。 そんな難関を乗り越えて2ヶ月、ようやく基本的な証明をできるまでたどり着いたので、メモ代わりにどう入門すればよいか残しておこうと思う。 1. 関数型のプログラミング言語を学ぶ 自分は関数型プログラミング言語の処理系を設計・実装したことが
リクルートテクノロジーズ エンジニアコース新人研修の内容を公開します！（2020年度版） | Recruit Tech Blog
こんにちは！ リクルートテクノロジーズでセキュリティエンジニアとして活動している、藤原 巧です。 毎年恒例となっており、大きな反響をいただいている、エンジニアコースの新人研修の内容を紹介させていただきます。 研修の概要 リクルートテクノロジーズでは、新卒採用の新人向けに３ヶ月間の技術研修を行っています。この技術研修では大きく分けて２つのコースが設けられています。 1. プログラミングやWebサービスの構造の基礎を体系的に学び、その後一人につき、ひとつのスマホサイトを企画からリリースまで行うコース 2. 一定以上のプログラミングスキルと開発系経験がある新人に向けた、実際の開発で必要となる様々な技術要素をより深く学び、その後実際のサービスでチーム開発にてOJTを行うコース 今回公開するのは 2. で使用した資料です。 この技術研修は、そのほとんどの部分を内製で実施しています。 この研修の最大の
AWSによるクラウド入門
真野 智之 (Tomoyuki Mano) <tomoyukimano@gmail.com> version 1.0, 2020-06-19
AWSによるクラウド入門
真野 智之 (Tomoyuki Mano) <tomoyukimano@gmail.com> version 1.0, 2020-06-19
電子回路設計の基礎 - わかりやすい！入門サイト
電子回路設計の基礎 ‐ わかりやすい！入門サイト 「電子回路設計の基礎 ‐ わかりやすい！入門サイト」のホームページへようこそ。 このサイトは「基礎編」と「実践編」から成っており、「基礎編」では電子回路の設計、特にアナログ回路の設計に必要な基礎知識をなるべく分かりやすく、直感的・感覚的な理解ができるように説明しています。 「実践編」では、実際に電子部品を組み合わせて回路を構成しながら学習します。実際に目で見て、手を動かしながら電子回路を習得することができます。 1. このサイトの目的 当サイトは、電子回路設計の初心者の方、基礎からしっかりと電子回路について勉強したいという方を対象としています。 このページをご覧になられている方の中には、仕事で電子回路に携わったり、趣味で電子回路工作をされている方もいると思います。そのような方に、このサイトを参考にして頂けるとありがたいです。 さて、最近の電
これからサーバレスに入門したい人に AWS Hands-on for Beginners ~Serverless 編~ がおすすめ | DevelopersIO
大阪オフィスのYuiです。 最近よく聞くサーバレス開発、やったことありますか？私はまだありません・・・。 興味はあるのですが、なんか難しそう・・・というのが正直な理由です。 そんな中、AWS公式が出している動画形式のハンズオンをやってみたところ、すごく良かったのでご紹介します。 本編 AWS Hands-on for Beginners〜Serverless 編〜 学べること サーバレスの特徴・利点 Lambda、API Gateway、DynamoDBの特徴・概要 APIとは何か Lambda+APIGateway+DynamoDBでのサーバレス環境構築方法 始め方 上記のリンクをクリックすると申込ページが表示されるので、必要事項を記入し、画面下部の送信をクリックします。すると画面が遷移し、ハンズオン動画が表示されます。 実際にやってみた感想 特に良かったところは以下です。 "なぜサーバ
低レイヤを知りたい人のための Cコンパイラ作成入門
はじめに このオンラインブックは執筆中です。完成版ではありません。フィードバックフォーム この本には一冊の本に盛り込むにはやや欲張りな内容を詰め込みました。本書では、C言語で書かれたソースコードをアセンブリ言語に変換するプログラム、つまりCコンパイラを作成します。コンパイラそのものもCを使って開発します。当面の目標はセルフホスト、すなわち自作コンパイラでそれ自身のソースコードをコンパイルできるようにすることです。 この本では、コンパイラの説明の難易度が急に上がりすぎないように、様々なトピックを本書全体を通じて次第に掘り下げていくという形で説明することにしました。その理由は次のとおりです。 コンパイラは、構文解析、中間パス、コード生成といった複数のステージに概念的に分割することができます。よくある教科書的アプローチでは、それぞれのトピックについて章を立てて解説を行うことになりますが、そのよう
【随時更新(17.04.15Kotlin追加)】いろんな技術の入門ハンズオン資料まとめ(Angular/React/WebVR/Go/Python/Xamarin etc...) - teratail blog
こんにちは。 teratailチームDevRel担当の木下（@afroscript）です。 1年ほど前からたくさんのコミュニティの方々とイベントを共催しています。 様々な技術のハンズオンもご一緒させて頂いたので、そこで使われた資料のうちWebで公開されているものをまとめてみました。 ぜひ新しく技術を学ぶ際、ハンズオン資料を作成する際などにご活用ください。 ちなみにteratailで開催しているイベントは、基本的にconnpassで公開しています。 イベントの一覧はこちらです。(僕が個人的に開催している勉強会も多々混じってますw) →http://connpass.com/user/afroscript10/open/ Facebookのteratailユーザーグループでもイベント開催のお知らせをしていますので、併せてご確認ください。 →https://www.facebook.com/gr
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
世界一わかりみの深いコンテナ＆Docker＆Kubernetes入門