Haskellでの型レベルプログラミングの解説書です。
![Haskellでの型レベルプログラミング](https://cdn-ak-scissors.b.st-hatena.com/image/square/a630f2fc80ddb633661a4f5eab717a21d1055256/height=288;version=1;width=512/https%3A%2F%2Fres.cloudinary.com%2Fzenn%2Fimage%2Fupload%2Fs--qJNXLizw--%2Fg_center%252Ch_280%252Cl_fetch%3AaHR0cHM6Ly9zdG9yYWdlLmdvb2dsZWFwaXMuY29tL3plbm4tdXNlci11cGxvYWQvYm9va19jb3Zlci8zODlkYzMxNTlmLnBuZw%3D%3D%252Cw_200%2Fv1627283836%2Fdefault%2Fog-base-book_yz4z02.jpg)
研修資料まとめ.md エンジニア向け研修 AI Shift 社内SQL研修のために作った資料を公開します - (2021/06/21) CARTA HOLDINGS(旧VOYAGE GROUP) 技術広報が新卒研修<Open AIハッカソン>をスパイしてみた - (2023/04/11) @t_wadaに学ぶテスト駆動開発【CARTA 23新卒研修】 - (2023/04/19) Classi 当たり前にリリースしていく ~ 新卒研修編 - (2021/05/20) リモートワークのための質問力向上研修を実施しました - (2021/12/07) CyberZ 良いコードとは何か - エンジニア新卒研修 スライド公開 - (2021/04/27) DMM.com(旧DMM.comラボ含む) DMM.comラボ16新卒エンジニア研修 - (2016/08/24) DMM.comの新卒技術研修
▼ 2023 ( 142 ) ► 05/07 - 05/14 ( 1 ) ► 04/30 - 05/07 ( 7 ) ► 04/23 - 04/30 ( 7 ) ► 04/16 - 04/23 ( 9 ) ► 04/09 - 04/16 ( 10 ) ► 04/02 - 04/09 ( 7 ) ► 03/26 - 04/02 ( 8 ) ► 03/19 - 03/26 ( 7 ) ► 03/12 - 03/19 ( 7 ) ► 03/05 - 03/12 ( 8 ) ► 02/26 - 03/05 ( 8 ) ► 02/19 - 02/26 ( 7 ) ► 02/12 - 02/19 ( 7 ) ► 02/05 - 02/12 ( 7 ) ► 01/29 - 02/05 ( 8 ) ► 01/22 - 01/29 ( 8 ) ▼ 01/15 - 01/22 ( 10 ) 【質問】ペパーミン
かとじゅんさんのお誘いで、私塾匠真堂にて登壇させていただき、Rust に関する話をさせていただきました。ありがとうございました。 今回のセッションを通じて Rust を始めたくなった方向けに、Rust をはじめるための資料をいくつかリストアップしてます。よかったらどうぞ。 プログラミング言語の学習方法について Rust についてまず概観を掴む 文法を学ぶ 何かアプリケーションを実装してみる ちょっと突っ込んだ話を知りたい コミュニティの力を借りる 仲間を見つける 更新履歴 プログラミング言語の学習方法について みなさんは新しいプログラミング言語を学ぶ際、どのように学びますか? 私は、軽く制御構文やデータ型の作り方などを学んだ後は、すぐにアプリケーションを作ってみて、詰まったらリファレンスを参照するといった学び方をしていることが多いです。 逆に、リファレンスをまず眺めて、文法をしっかり把握し
Google Python Style Guide Table of Contents 1 Background 2 Python Language Rules 2.1 Lint 2.2 Imports 2.3 Packages 2.4 Exceptions 2.5 Mutable Global State 2.6 Nested/Local/Inner Classes and Functions 2.7 Comprehensions & Generator Expressions 2.8 Default Iterators and Operators 2.9 Generators 2.10 Lambda Functions 2.11 Conditional Expressions 2.12 Default Argument Values 2.13 Properties 2.14 True/
研究発表のスライドの仕上げの目的は、単に見栄えを良くすることではなく、伝えたいことが正しく・詳しく・分かりやすく伝わるようにすることです。スライドの推敲の技術を知って、実践的に身につけましょう。大阪大学大学院の教員であり、2021年10月に『卒論・修論研究の攻略本(森北出版)』を上梓した著者が実例付きで解説します。 スライドの推敲とは?文章がそうであるように、スライドもまた、「伝えたかったこと」をいつでも正しく伝えてくれるとは限りません。そして、正しく伝わるはずだ、という淡い期待を裏切られたときは、本当につらいものです。 文章を推敲するように、スライドにも推敲をかけましょう。ただし、スライドを推敲する際に、単にスライド中の語句を推敲するだけでは不十分です。スライドは、文章とは異なる表現形式だからです。 とはいえ、実は、著者の別記事で紹介した文章の推敲技術は、スライドの推敲にも使うことができ
なぜエンジニアが作る画面はダサいのか…?「理由」と「対策」を徹底解説【エンジニア向け画面デザイン講座】UXUIDesignUIデザイン画面設計 1.はじめに エンジニアの私がデザインを本気で勉強した結果、デザイナーとエンジニアはそもそも思考が大きく違っているということがわかりました。 今回は「それ」をデザインに苦手意識のあるエンジニア方にも理解してもらえたらと思い、わかりやすくまとめてみました。 2.アプリの画面デザインを考えてみよう まず、こんなアプリを考えてみてください。 フィットネストレーナーが使うアプリ トレーニングルームでお客様とお話しながら使う 端末はタブレット そして 会員の個人情報確認 前回までのトレーニング状況の確認 次回の予約受付 といったことをします。 使える情報としては、こんな感じです。 あなたならどう画面デザインをするか、もしお時間があったら考えてみてください。
営業資料、マーケティング資料など、社会人によって資料作成の能力は必須スキルといっても過言ではありません。 はたして、みなさんの資料作りは“科学的に正しい”方法で制作されているでしょうか? 株式会社クロスリバー社長・株式会社キャスター事業責任者で、これまで1万人以上に資料作成術をレクチャーしてきた越川慎司先生は、ヒアリング調査やAIによる分析を用いて伝わる資料の作り方を分析し、『科学的に正しいずるい資料作成術』を著しました。米マイクロソフト本社でパワポなどの責任者としても活躍していた越川先生の知見は、あなたの資料の作り方をがらりと変えてくれるはずです。 授業の前半である今回は、「わかりやすいスライド」とは何かのレクチャーや伝わる資料と伝わらない資料の比較など基礎的な内容となっています。
はじめに こんにちは。Blockchain Lab の高瀬(loloicci)です。 先日 gihyo.jp にて『Webエンジニアの新しい道 ~LINE Blockchain Labが拓くブロックチェーンの世界』 で取り上げて頂いたとおり、LINE Blockchain では WebAssembly (WASM) 形式のスマートコントラクトを実行する機能を開発しています。 WebAssembly は名前の通り Web で使用することを想定して開発され始めた言語ですが、いくつかの特長から Web 以外の様々な分野からも注目を集めています。 また、Blockchain におけるスマートコントラクトも WebAssembly に注目している分野の一つです。 この記事ではブロックチェーンにおけるスマートコントラクトの紹介と、スマートコントラクト分野がなぜ WebAssembly を注目しているの
いくつかのクラウドサービスでは、1年程度の無料トライアルや一定額のクーポンなどに加えて、期間の制限なくずっと無料で使える、いわゆる「Free Tier」や「Always Free」と呼ばれる無料枠のサービスが提供されています。 こうした無料枠は試行用の環境や一時的なテスト環境などとして、期間を気にせずサービスを試すうえで非常に有効です。 もちろん、無料提供サービスは提供側の都合によってある日突然終了することもあり得ますが、いまのところ1年前の記事「ずっと無料で使えるクラウドの「Free Tier」主要サービスまとめ。2020年版」で紹介したサービスで終了したものはないようです。 本記事では期限の制限なくFree TierやAlways Freeとして提供されている主なサービスを、2021年版としてまとめました。 Amazon Web Services(AWS) 「AWS 無料利用枠」のWe
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く