「型」という言葉の定義 - Qiita
「型」という言葉は話者と文脈によって異なった意味で使われることがあります。型理論の研究者などは下の定義 1 のみを「型」と呼ぶので注意しましょう。 定義 1: 型システムによる静的検証のためにプログラム内の式や文などの構成要素を分類する概念 例文: Boolean 型を持つ式を函数として適用するコードを書いたので型エラーが発生した。 例文: Ruby は型のない言語だ。 注意: 定義 1 は俗に「静的な型」「コンパイル時の型」と呼ばれることがあるが、コンパイルの有無は定義とは特に関係がない。 定義 2: プログラムが取り扱う情報(の特定の部分集合)の範囲や意味 例文: 整数型の値同士は足し算や掛け算ができる。 例文: 一般的なプログラミング言語は整数型の他に実数型や真理値型も扱える。 定義 3: どのような型 (定義 2) の値をどのようなビットやバイトの並びとして表現するかというデータの
しぶしぶ覚えるLua言語 - Qiita
はじめに Lua好きですか？ ええ、そうですよね、好きでも嫌いでもないですよね。わかります。 Luaが好きで好きでしょうがないという人はいません。ごめん、言い過ぎた。大抵は自分の使っているアプリのスクリプティング機能がLuaだからAPIを叩くために仕方なく使うという人が多いのではないでしょうか。 私のよく使うDTM分野のアプリでもReaperのReaScript、FalconのUVI Script、KONTAKTのCREATOR TOOLS、HALionのHALion ScriptなどLuaによるスクリプティングができるものがあります。Vocaloid Editorも以前はJob PluginとしてLuaが使えていましたが、最新版ではスクリプティング機能自体がなくなってしまったのが少し残念です。その他Robloxのようなゲームエンジン、画像・動画編集アプリなどでもLuaによるスクリプティン
【Go】Webスクレイピングのやり方 - Qiita
関連 【TypeScript】Webスクレイピングのやり方 - Qiita はじめに GoでWebスクレイピングをしたい時にはgoqueryという便利なパッケージがある ただ、文字コードがEUC-JPのサイト等に使おうとすると文字化けするので、その辺りの文字コード変換を自前で実装する必要がある。 goqueryの使い方については以下の記事を参照。 goqueryでお手軽スクレイピング！ - Qiita 準備 必要なパッケージをダウンロードする。 $ go get -u github.com/PuerkitoBio/goquery $ go get -u github.com/saintfish/chardet $ go get -u golang.org/x/net/html/charset package main import ( "bytes" "fmt" "io/ioutil" "
PyCon JPの技術に対する不正の告発、並びに技術者と大衆に対しての警鐘 - Qiita
概要 本文章は、一般社団法人PyCon JP Associationが主催したPyCon APAC 2023の開催に際し、そのプロポーザル選考過程において行われていた不正行為の告発を目的とするものです。 本文章が対象とする読者は技術者、及び、公衆です。技術者は技術『愛好家』との付き合い方について一考をするべきであり、公衆は「専門家ではないにも関わらず技術の専門家のフリをする不正な愛好家」に対して無自覚であるべきではない、という警鐘を鳴らすため、並びに、一般社団法人PyCon JP Associationの公衆に対する不正を告発するため、本文章を公開します。 本文章は、Qiitaが目指す、学びのある情報を技術者に共有することで、よりよい技術者コミュニティの形成を目指す内容であるため、Qiitaのガイドラインに沿った形式でQiita.com上で公開します。 告発する内容 PyCon APAC
arch Linuxのインストール手順 2023年最新版 - Qiita
はじめに こんにちは。くりもちです。この記事では、arch Linuxのインストール手順を解説しています。公式のインストール手順で挫折してしまった方・arch Linuxをまだインストールしたことがない方などにインストール手順をできるだけ簡単にお伝えできればと思います。 事前準備 必要なもの インストールするPC(仮想マシンでも大丈夫です) インストールメディア(仮想マシンにインストールする方はisoファイルを用意してください・作成する手順を下で解説しています) ある程度のbash・zshの知識(vimの使い方とファイル操作とリダイレクトぐらい覚えておけば多分大丈夫です) 気合い インストールメディアの作成方法(ある方は飛ばしてください) arch Linuxのダウンロードページの日本サーバーのどこかからisoファイルをダウンロードし、EtcherやRufusなどでCDやUSBに焼いてくだ
Gitとブロックチェーンの関係 - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? ひょんな拍子に、Bitcoinやブロックチェーンについて調べ始めたのですが、すでに使っているものの中に、ほぼ同じようなものがあることに気づいてしまいました。 なお、この文章は「Gitは知っているけど、ブロックチェーンは何か知らない」というような人を前提としています。また、自分自身の理解が不十分な部分もありますので、マサカリも大歓迎中です。 TL; DR （広義には）Gitツリーもブロックチェーン Bitcoinには、分散系で取引履歴を改ざんされない仕組みがある マージ不能なフォーク Gitの根っこはブロックチェーン 最近、よく話題となっ
プログラミング言語Rustになぜ注目するのか - Qiita
この記事は NTTコムウェア AdventCalendar 2023 5日目の記事です。 自己紹介&動機 高鶴と申します。NTTコムウェア コーポレート革新本部で、プログラム設計～コーディング～ユニットテストにかかわる技術の社内標準化をやっております。 プログラムの静的な解析で早期にバグを発見・修正することで、後工程でのバグ対処コスト削減（ウォーターフォール開発の場合）や、技術的負債の早期解消（アジャイル開発の場合）を目指す、というのが私のチームの仕事の大きな一部となっています。 静的な解析で早期にバグを発見するツールには、オープンソースでも商用でも様々なものがあります。しかし、ソフトウェアの品質をより抜本的に良くしていこうと思うと、「プログラミング言語を何とかする」というところを考えたくなってきます。 Rustであれば、そのような期待に応えてくれるのではないかと期待し、調査・検証を始めま
いつか起業したいエンジニアへ - Qiita
はじめに 34 歳のとき、勤めていた会社の経営が傾き早期退職を促されたのを契機に独立しました。その後、41 歳で Authleteオースリート 社を設立しました。諸般の事情で現在も Authlete 社の代表取締役という肩書きを持っていますが、経営者的な仕事は他の人に任せ (参照: シリコンバレーのプロフェッショナル CEO を迎えて米国市場に挑戦する日本のスタートアップの話)、50 歳目前の現在もプログラマとしてコードを書き続けています。 Authlete 社設立 (2015 年 9 月) から 8 年半弱経過したものの、まだまだ小さな会社で道半ばであるため、起業家として何か語るのは時期尚早ではあるものの、軽い体調不良が長引く中、『自分のエンジニアとしてキャリアを振り返ろう！』という記事投稿キャンペーンを見かけ、生きているうちに子供世代のエンジニアの方々に何か書き残しておこうと思い、文章
TypeScript チュートリアル (入門編) - Qiita
Overview TypeScript を触ったことがなかったので、TypeScript 公式ページの TypeScript Tooling in 5 minutes を実際に試しながら、挙動や機能について紹介したいと思います。 What's TypeScript TypeScript (TS) は Microsoft によって開発されたオープンソースのプログラミング言語 ( 2012年10月1日発表 ) であり、JavaScript に対して、静的型付けとクラスベースオブジェクト指向を加えたスーパーセットです。 TypeScript 公式ページ (1) JavaScript and More TypeScript は JavaScript に構文を追加して、エディターとの密接な統合をサポートします。 エディター上の早い段階でエラーをキャッチします。 (2) A Result You Ca
[研究室向け]なぜ君はソースコードのエラーを自分で解決できないのか？ - Qiita
1. Intro 1.1 タイトルの答え それは，最初から"How"(どうやってこの問題を解決すべきか)だけを考えているからです． 最初に問うべきなのは"Why"(なぜこの問題が起きたか)です． このタイトルの問いも，なぜ？から始まっています．「どうやって自分でエラーを解決するか」だけを考えていると，問題の根本的な原因が分からないため，ずっと自分でエラーを解決することはできません． 1.2 Keyword 最初に自分に問いかけるべき言葉 〇 Why(なぜ？): なぜこの問題が起きたか ✕ How(どうやって？): どうやってこの問題を解決すべきか 1.3 背景 研究室では毎年，いつまでたっても自分でソースコードのエラーや出力の問題を解決できず，進捗が遅かったり開発をあきらめてしまったりする人が発生する．本記事では，なぜ自分でエラー・問題を解決できないのか？を明確にする． <注意書き> この
![[研究室向け]なぜ君はソースコードのエラーを自分で解決できないのか？ - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/dc9ae9dc576dac7161be1e28e1f8b0fb3d5bbc8b/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-9f5428127621718a910c8b63951390ad.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9JTVCJUU3JUEwJTk0JUU3JUE5JUI2JUU1JUFFJUE0JUU1JTkwJTkxJUUzJTgxJTkxJTVEJUUzJTgxJUFBJUUzJTgxJTlDJUU1JTkwJTlCJUUzJTgxJUFGJUUzJTgyJUJEJUUzJTgzJUJDJUUzJTgyJUI5JUUzJTgyJUIzJUUzJTgzJUJDJUUzJTgzJTg5JUUzJTgxJUFFJUUzJTgyJUE4JUUzJTgzJUE5JUUzJTgzJUJDJUUzJTgyJTkyJUU4JTg3JUFBJUU1JTg4JTg2JUUzJTgxJUE3JUU4JUE3JUEzJUU2JUIxJUJBJUUzJTgxJUE3JUUzJTgxJThEJUUzJTgxJUFBJUUzJTgxJTg0JUUzJTgxJUFFJUUzJTgxJThCJUVGJUJDJTlGJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9NTYmdHh0LWNsaXA9ZWxsaXBzaXMmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz05MjkxODQ4MWM1Y2M2ZWE1M2M3NTE4YTcwZTg2N2NmMA%26mark-x%3D142%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTcxNiZ0eHQ9JTQwa29raTIwMjImdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT0zMiZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZzPWFjMGY0Mjc5NDg4YTRjNjE3YmJkN2UwMDM1YmIzYWNl%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3D449e447b533b76e2a2cfa6d32f1a6826)
git pullして WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED! が表示されたら - Qiita
git pullして WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED! が表示されたらGitSSHRSA git pullに失敗 GitHubで管理しているリポジトリでgit pullしたところ次のメッセージが表示され、git pullが中止されました。 これはどういう意味のメッセージで、どういう対応をしたらいいのでしょうか？ 順を追って理解していきたいと思います。 ChatGPを使ってエラーメッセージを読む まず最初にこのエラーメッセージ全文をChatGPTに貼り付けます。 すると、英語でエラーメッセージの意味を解説してくれます。 このまま読んでもいいのですが、日本語で説明してもらいます。 GitHubのSSHキーが交換されたためこのメッセージが表示されたことがわかります。 fingerprintsの確認 ChatGPTの説明にしたがって
16歳の高校生がIT企業のエンジニアになった話 - Qiita
はじめに 初めまして。Raioです🙌 学生をしながら、放課後や休日はIT企業のエンジニアとしてアルバイトしています。 僕がエンジニアになるまでの過程を書いてみました。 技術書を無料で読む方法 技術書って高いですよね。一冊あたり2~3000円ぐらいします。 KindleUnlimitedを使えば、3ヶ月無料で技術書を読むことが出来ます。 ↓画像をクリックすると、Amazonに画面遷移します↓ 技術書以外にも、ビジネス書や漫画も無料で読むことが可能です。 ご興味ある方は是非、一度使ってみてください🙌 プログラミングを始めたきっかけ スマホの仕組みが気になった 僕はシステム開発にハマる前までは、ガジェットに興味があった。 四六時中、ガジェットについて調べていた。 ある日、ふと「スマホの仕組みってどうなってるのだろう」という疑問が頭の中に浮かんだ。 気になることはすぐ調べる性格なので、スマホを
ssh 接続で no matching host key type found エラー - Qiita
$ ssh 192.168.0.5 Unable to negotiate with 192.168.0.5 port 22: no matching host key type found. Their offer: ssh-rsa,ssh-dss でした。 背景 https://www.openssh.com/txt/release-8.8 によると、 Potentially-incompatible changes This release disables RSA signatures using the SHA-1 hash algorithm by default. This change has been made as the SHA-1 hash algorithm is cryptographically broken, and it is possible to cr
Ruby on Rails 7の主要な新機能・機能追加・変更点 - Qiita
はじめに Ruby on Rails（以下Rails）の最新バージョンである7.0（以下Rails 7）が2021年12月15日にリリースされました。 Rails 7では、JavaScriptフロントエンドの大幅な刷新、CSS BundlingによるTailwind CSSやPostCSSのサポートを含めた、メジャーバージョンアップグレードにふさわしい機能強化が行われています。 本記事では、Railsの公式ブログやRailsガイド、GitHubのRailsプロジェクトのIssuesやPull Requestsの内容をもとに、Rails 7の主要な新機能・機能追加・変更点の紹介を行います。 ※ 以前のバージョンのRailsの主要な新機能・機能追加・変更点については以下を参照してください。 Ruby on Rails 6の主要な新機能・機能追加・変更点 Ruby on Rails 6.1の主要
MacBookAir向けLinuxカーネルBuild - Qiita
MacにてLinuxカーネルBuildにトライ。できるだけ軽量かつ最低限の機能は搭載することを意図する。 用いたマシン MacBook Air 11 inch 2GHz Intel Core i7 （購入時のマザーボードは故障して交換したため、スペックアップ） 8GB RAM 準備 マルチブート MacOSとのマルーチブートを実現したかったため、rEFIndをインストール（Mac OS High Sierra(10.13.6)経由）。Windows10もインストールしているため、トリプルブートとなっている。 Lubuntuダウンロード ここから、最新LTSである20.04をダウンロードしてインストールする。
Mac初心者に優しいターミナルにする（iTerm2／Oh My Zsh） - Qiita
はじめに ターミナル(iTerm2)の便利な設定をする手順をまとめた記事です。 今回の内容は、晴れてWebエンジニアとして転職して研修を受けていた時、職場の同時期に入社したエンジニアW氏に教えてもらいました。それはもう、プログラミング学び初めの頃から欲しかった便利機能満載でした！… 独学での初学者の頃は、補完機能を付けたり、見やすくしたり、カスタマイズできることに気づくこともなく過ごして、最近までほぼデフォルトのまんまのターミナルだったので、プログラミング初学者、Mac初心者、新人プログラマの方にこの記事で共有できたらと思っています。 画面イメージ Mac初心者に優しいターミナルのイメージとしては、こんな感じになります。 コマンドに色がつきます！ （lsコマンドが緑色） エラーになる利用できないコマンドだと赤字になります！ 過去のコマンドが入力途中で出てきます！ （-laがうっすらと見える
【2024年最新版】オススメのプログラミング学習サービス集 - Qiita
はじめに 今回はプログラミング初心者と中級者向けの、プログラミング学習サービスを紹介します。 自分自身が実際に学んできた中でよかったものだけをピックアップしています。 なお、progateやドットインストールといった誰でも知っている学習サービスは省いています。 web制作向け (1) web-design-textbook まずはじめに紹介するのはWeb制作を基礎から実装手法を網羅的に学ぶことができる「web-design-textbook」です。 こちらは基本編~上級編とレベル別になっているので初心者でも入りやすい構成になっています。 かつ問題数もかなり豊富で図を多数用いて解説をしているので独学でも挫折せずに学習を進められる教材になっています。 ぜひこれからWeb制作の学習をはじめたいという人は使ってみてください。 (2) Codestep 次に紹介するのは、HTMLやCSSといった基礎
キーボード配列エミュレーションソフトウエア「紅皿」動作仕様書 - Qiita
3.1.1 ローマ字モード ローマ字入力モードにおける各配列は、次によります。 3.1.2 英数モード 英数モードにおける各配列は、次によります。 上記の配列は、紅皿が読み込むキー配列ファイルによって変更することができます。 4. 文字の出力 4.1 ローマ字モードと英字モード ローマ字モードと英字モードの選択は、インプット・メソッドによります。 4.2 英字モードでの配列 Caps Lockモードでない場合 シフトキーを押下せずに文字キーを単独打鍵すると、英数シフト無し配列の文字が出力されます。 右親指キーと文字キーを同時打鍵すると、英数右親指シフト配列の文字が出力されます。 左親指キーと文字キーを同時打鍵すると、英数左親指シフト配列の文字が出力されます。 シフトキーを押下して、文字キーを単独打鍵すると、英数小指シフト配列の文字が出力されます。 シフトキーを押下して、右親指キーと文字キー
キーボード配列エミュレーションソフトウェア 紅皿
※：親指シフト状態がRは右親指、Lは左親指、Nはシフト無しです。 ※：キー入力状態は、Rが右親指オン、RMが右親指オン後の文字キーオン、MRが文字キーオン後の右親指オン、Lが左親指オン、LMが左親指オン後の文字キーオン、MLが文字キーオン後の左親指オン、RMrが右親指オンー文字キーオンー右親指オフ、LMlが左親指オンー文字キーオンー左親指オフ。 ※：当該イベントのトリガーは、Rは右親指オン、Lは左親指オン、Mが文字キーオン、rは右親指オフ、lは左親指オフ、mが文字キーオフ。 ４． キー配列（デフォルト） 紅皿は、やまぶきと同様に、ローマ字モード最大６面と、英数モード最大６面の全１２面のキーボードレイアウトが可能です。ローマ字モードは、ＩＭＥをローマ字入力のひらがな・全角カタカナ・半角カタカナに設定したときのモードであり、英数モードは、ＩＭＥを全角英数・半角英数・直接入力に設定したときのモー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Gitをインストールしたら真っ先にやっておくべき初期設定 - Qiita
