VOICEVOX | 無料のテキスト読み上げ・歌声合成ソフトウェア
オープンソースVOICEVOX は OSS（オープンソース・ソフトウェア）版 VOICEVOX をもとに構築されています。 製品版と OSS 版の違いやモジュール構成は VOICEVOX の全体構成 をご参照ください。 ソフトウェア部分は Electron + Vue 、音声合成エンジン部分は Python + FastAPI です。 追加したい・改善したい機能があれば、ぜひ開発にご参加ください。
オープンソースVOICEVOX は OSS（オープンソース・ソフトウェア）版 VOICEVOX をもとに構築されています。 製品版と OSS 版の違いやモジュール構成は VOICEVOX の全体構成 をご参照ください。 ソフトウェア部分は Electron + Vue 、音声合成エンジン部分は Python + FastAPI です。 追加したい・改善したい機能があれば、ぜひ開発にご参加ください。
侍魂に吉野家......一世風靡したテキストサイト管理人の今を調べた - こちら検索探偵 - Yahoo!検索ガイド
こんにちは。ヨッピーです。 突然ですが、みなさんは「テキストサイト」をご存じでしょうか。 Yahoo!検索で、「テキストサイト」を検索！ 昨今はTwitterやFacebookなどのSNS流行の影響か、ブログすら書かない人が増えてきました。そのブログも存在しなかったかつてのインターネットでは、画像でも動画でもなく、「テキスト」をメインコンテンツに据えたサイト群が一世を風靡（ふうび）しており、それらを総称して「テキストサイト」と呼んでいたのです。 そのへんの歴史みたいな部分については、手前味噌（みそ）ですが僕が以前に書いた下記の記事が参考になるかもしれません。 あれだけ流行ったテキストサイトが何故廃れたのか考えてみる（外部サイト） ちなみにこちらの記事は、URL変更のためSNSの数値がリセットされていますが、はてなブックマークが1200件もつくなど大変話題になりました。 そんな、「古き良き時
これから「Androidアプリを作ってみたい！」という人や、「もっと体系的に勉強したい！」という人に朗報です！ アプリ開発スクールで知られる「TechInstitute」から、アプリの設計・開発・公開まで網羅した初心者向けの入門テキストが、なんと無料で公開されているのでご紹介したいと思います！ 950ページを超えるボリューム満点のテキスト！「TechInstitute」のWebサイトで公開されている「専用ページ」にアクセスすると、誰でもすぐにテキストをダウンロードすることが出来ます！ トピック毎に、興味のある分野だけダウンロードしたり、「まとめてDL」ボタンから一気にテキストを入手することも可能。 ファイルはPDFで提供されており、全部で950ページを超える大ボリュームの内容は以下の通り！ ＜目次＞ ファーストステップ プログラミングとは何か コンピュータとスマートフォン 初回のプランニン
かつてインターネットで一世を風靡したテキストサイト、別名日記サイトの歴史を知ろう。 「侍魂」「兄貴の館」「ろじっくぱらだいす」「一流ホームページ」「かまくら」「オレイズム」……。ネットで日記を書いているだけでモテる時代がかつて存在した！？ こんにちは。ヨッピーです。皆さん、同窓会はしてますか？ 元同級生や部活の仲間など、久々に会う仲間たちと懐かしい話に花を咲かせるのは楽しいものです。 そんな「同窓会」を後押ししようと、ビールの定番としてお馴染みのキリン一番搾りが「同窓会メーカー」というサービスを開始しまして、このサービスのPRのために「同窓会をやってほしい」と依頼されました。 同窓会メーカーはテーマを決めて仲間と気軽に同窓会が開け、予定調整まで出来るWEBサービス。会の後も集合写真を加工できる同窓会カメラで盛り上がれるそうだ。その同窓会メーカーの中身を見てみると、「え？それって同窓会なの？
2021年12月3日に本テキストブックを題材に、デザイン経営の考え方や導入方法、テキストブックの制作秘話などについて語るオンラインイベントが開催されました。下記のリンク先からアーカイブ動画をご覧いただけます。 詳しくはこちら（外部サイト） > 富士通のこれまでの実践から得られたノウハウと、イタリアのミラノ工科大学デザインスクールPOLI.Designの研究成果やフィロソフィーを組み合わせた、デザイン思考のテキストブック「Transformation by Design デジタルトランスフォーメーションに挑戦するデザイン戦略とサービスプランニング」（日本語版・英語版）を公開いたします。このテキストブックはPDFで閲覧可能です。またテキストブック制作の背景や制作チームの想いなど、制作のディレクターを務めた宇多村志伸と高嶋大介に話を聞きましたので、ぜひダウンロードの際に併せてお読みください。
【Google re:Work】マネジメントで悩むすべてのエンジニアが見るべき完全無料テキスト | DevelopersIO
エンジニアにとって、正解が分かりづらいマネジメント業務ってとっつきづらいんですが、その良き羅針盤となってくれるテキスト「re:Work」の紹介です。 「エンジニア天国な会社にしたい。したくない？」 「したい。けど、どうやって？わっしょい的な雰囲気で？」 今年の6月あたり、クラスメソッドAWS事業本部コンサル部で合宿を予定しているんですが、その合宿でやるネタを考えているときに知ったのが、この「Google re:Work」。 正解が見えづらい組織運営において、「良いチームとはなにか？」「採用で気をつけるべき点」「ビジョンがもたらす効果」など、マネジメントの頻出課題をギュッと凝縮して詰め込んだこのコンテンツがむっちゃ有用だったので、紹介します。 Webコンテンツとして完全無料なので、今マネジメントで悩んでいる人も、これからマネージャー目指そうとしている人にも参考になる点多いと思うので、一度気軽
その昔、インターネットにはテキストサイトというものが存在した…。今更だけど、何故テキストサイトが廃れたのか考えてみよう！ 本日のオモコロ特集は「テキストサイト」についてであります。 普段の記事と完全に毛色が違うので飛ばしても良いかも知れません。 「テキストサイトについて書きたいなぁ」という気持ちは以前から持っていて、 ずっとタイミングを見計らっていたのですが、 「テキストサイト」という言葉自体を知らない人も増えてきているでしょうし、 オモコロが産まれるきっかけにもなっている出来事なので、 僕の青春の備忘録という意味も含めてそろそろ書いておきたいと思います。 ちなみにめちゃくちゃ長文です。 【第一章】テキストサイトの歴史 １：テキストサイトの誕生（１９９０年代後半～） とは言っても、「テキストサイトって何ぞや？」みたいな人もたくさん居ると思いますので、そういった人々の為に「テキストサイト」に
Excelの表を罫線ごとテキストに変換する
テキストファイル上で表組みを表したい場合、「┌」や「┬」といった外字を用いて罫線を作る方法がある。例えばメール本文の中に表を挿入したい場合など、数行程度のちょっとした表であれば、これでじゅうぶんに表組みであることが伝えられる。いちいちExcelファイルを参照してもらわなくても済むというわけだ。
HTMLのテキストはPhotoshopのように融通が効かないから、デザイナーからの細かいお願いはだいたい断っている...なんてことありませんか？ モダンブラウザは色んなプロパティが対応してきているので、できることも増えています。 今回は、知っているといざというとき便利なテキスト周りのCSSを集めてみました。 「日本語、文字詰めできないかな？ほら、このカタカナとかキモい。。」 「Webで文字詰めだと？無理なんだよあきらめな！」なんていう時代はもうとうに過ぎ去っています。OpenTypeのフォントであれば、日本語でもちゃんと文字詰めできるんです。 .class { -moz-font-feature-settings: "palt"; -webkit-font-feature-settings: "palt"; font-feature-settings: "palt"; } ↓こんなかんじで
「ヤフコメ」と「はてブコメント」の違い。テキストマイニングより見えてきたもの - プリキュアの数字ブログ
（プリキュアにあんまり関係ない記事です。興味ない方はスルーして下さい。） 先日（4/13）、当ブログを紹介していただいた朝日新聞withnews様の記事が、（数時間ですが）ヤフーのトップに掲載されました。 娘がプリキュアに追いついた日… 父のブログに涙する人が続出 当たり前の日常の中にある愛情、著者に聞く （withnews） - Yahoo!ニュース さすがにヤフーのトップ、記事中に直接リンクが貼ってあったわけではありませんが、多大な反響があり、その1日だけで「イワオ～キン骨マンの超人強度」くらいにはＰＶを頂きました。 はてなブックマーク、ツイッター含め、沢山のコメントを頂きまして、本当にありがとうございました。 すべてのコメントを読まさせていただきました。 その全てが、ありがたく、身に染みるものでした。 で、今回「ヤフーのトップニュースに載る」ことにより、 「自分のブログ記事の内容が”
「いらすとや」は要らなくなっちゃう？テキストで説明するとそれに沿った何パターンもの画像を生成するOpenAIが凄まじい
小猫遊りょう（たかにゃし・りょう） @jaguring1 毎日、数学をやっています。抽象度の高い数学が好きで、公理的集合論や数理論理学、圏論に興味があるけど、もっと具体的で実用的な数学も好きです。AI技術と、それがもたらす社会的影響についてよく考えていますが、基本的にテクノロジー全般の最新動向に興味があります。良さげな講義動画を見つけたら、ツイートするようにしてます。 小猫遊りょう（たかにゃし・りょう） @jaguring1 うおぉ、、新年早々、超激ヤバなニューラルネットをOpenAIが2つ発表してきた（DALL-EとCLIP）。視覚データとテキストの両方を用いたAIシステムで、DALL-Eは、テキストで説明すると、それっぽい画像を生成。こんなの創造性以外の何者でもない。テキスト+画像版GPT-3っぽい openai.com/blog/tags/mult… pic.twitter.com/
Linuxでテキストデータを扱うときに、コマンドをパイプで繋げるだけでいろいろな処理ができて面白いのですが、綺麗に整理されていない気がするのでまとめてみます。ここでは、cat, paste, join, grep, head, tail, cut, awk, sed, tr, sort, uniq, wc を取り上げます。 ファイルを縦に結合 ファイルを縦に結合します。 コマンド 説明 cat file1 file2 ... file1, file2, ... を縦に結合 cat file | ... としてファイルの中身をパイプに流すのにもよく使います。 ファイルを横に結合 ファイルを横に結合します。あまり使わない？*1 コマンド 説明 paste file1 file2 .. file1, file2, ... を横に結合 join file1 file2 file1 と file2
その他のサンプル: Wikipedia:良質な記事, Wikipedia:長いページ 紹介 「テキストゆれないくん」は文章に含まれる表記揺れを検出するツールです。「コンピュータ」と「コンピューター」、あるいは「全て」と「すべて」といった同じ単語の別表記が使われていないかどうかをチェックできます。 「テキストゆれないくん」は元々このサイト (https://inzkyk.xyz/) の文章校正用に開発されました。機能が成熟してきたので UI を付けて公開します。 このページから手動で使う限り、「テキストゆれないくん」は商用/非商用を問わず自由に使って構いません。「テキストゆれないくん」は無保証で提供されます。 特徴 ウェブブラウザから使える このページをウェブブラウザで開いているなら、「テキストゆれないくん」は既に動いています。このページの最初にあるのは「テキストゆれないくん」を使うための完
先日、我が家の捨てアドを久々に開いたら、数千件のスパムメールが溜まっていることに気づいた。 オオアリクイみたいなセンスの良いスパムがないかなぁと思って軽く見てみたが、残念ながら良質な内容は見当たらなかった。 ただ、見ていると、テキスト装飾が凝ったものが多くて感心した。 仕事でも情報をテキストで残すことがあるけど、そんな時にちょっと見やすくするのに使えるのではないかと思って収集してみた。 ============================================================ ************************************************************ ＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝ ----------------------------------------------------
#タモリ倶楽部 風俗ビッグデータ！ 1020人のデリヘル嬢紹介文をテキスト分析ソフトで解析し「当たり」と「ハズレ」の嬢を見極める
ももひこ97 @momohiko97 #タモリ倶楽部 24時20分～24時50分 今夜遂に大公開!!痴の巨人が解析したデリヘル・ビッグデータ!…最新分析ソフトがたたき出すお宝データ!!この言葉で紹介されているデリヘル嬢は「当たり」!? 2018-01-13 00:12:03
世界一分かりやすい英文法のテキスト「English Grammar in Use」英語学習最強の良書です！ - 超ハマちゃんねる
英語の上達には何が必要なのか？英語のスピーキング、リスニング、リーディング、グラマーなど人それぞれ伸ばしたい能力はあるでしょうが僕はグラマーの能力を伸ばすことが英語上達の一番の近道だと思っています。 ※グラマーとは英文法のことです。 そしてかつ最適な良書で学習しなければ上達はかなり難しいかと思います。 今回は僕が出逢った最強の英文法の教科書「English Grammar in Use」を紹介します。 僕のフィリピン留学の時に使用していた教科書で、留学中に終わらなかったので現在もこのテキストで学習しています。 このテキストは結構お高いですし超大ボリュームなので本気で英語をしたい方にオススメです！ 英文法を英語で学ぶ English Grammar in Use with Answers and CD-ROM: A Self-Study Reference and Practice Book
テキストリンク色の変更で、70億円（！）を稼ぎだすことに成功したマイクロソフト - Feel Like A Fallinstar
ユーザビリティの中でも特に狭義の「テキストリンク色」を変えただけで、恐るべきビジネスインパクトが現れたという事例です。 実際に成果の変化が起こったのは、マイクロソフトが鋭意売り出し中の検索エンジン「Bing」です。 テキストリンクを、入念にテストし、8000万ドルの売り上げ増 マイクロソフトは従来、「Live Search」という形でもう少し明るい青（水色に近い）を採用していました。 Bingよりも、明るいというかすこし緑に近い感じの色がベースになっていますね。 ちょっと比べてみました。 （※Live Searchは画像検索からキャプチャを取っています） こう見ると確かに色はかなり変化しています。 CNETの記事によると、マイクロソフトはBingを作る過程でかなりの数の色をテストしたようです。 Microsoftは最終的に「Bing」となるものを設計していたとき、膨大な数の色を検証し、
（1）全か無か思考（完全主義） 完全な成功でないと満足できない。少しでもミスがあると「すべて失敗」と思い込み全否定する。 （2）こころの色眼鏡（選択的注目） 良い面は視野に入らず、悪い面だけを見てしまう。 （3）拡大解釈と過小評価 自分の欠点や失敗を過大にとらえる一方で、自分の長所や成功をいつも「取るに足らないこと」と思ってしまう。 （4）結論の飛躍（恣意的推論） 「きっと〜にちがいない。」と根拠に基づかず悲観的な結論を出す。 （5）過度の一般化 一つの失敗や嫌な出来事だけを根拠に「何をやっても同じだ」と結論づけたり、この先もずっとそのことが起きると考えてしまう。 （6）自分自身への関連づけ（個人化） 問題が起きた時、様々な理由があるにもかかわらず「すべて自分のせいでこうなってしまった」と考えてしまう。 （7）○○すべき思考 何かする時に「○○すべきだ」「○○しなくてはならない」と必要以上
リモートワークで仕事をしていると、Slack や Teams といった何かしらのチャットツールでコミュニケーションを取ることが多い。そうやって仕事を続けていく中で「こう伝えたらよりスムーズに話が進んだかな...」という後悔は多々あり、日々試行錯誤を続けている。 そうやって試行錯誤を続けていく中である程度テキストコミュニケーションを取る上でのフォーマットが定まってきた気がするので、箇条書きでまとめてみようと思う。（随時更新予定） prefix （接頭辞）をつける文章の先頭にその文章の目的がわかるような prefix をつけて、何のためにポストしたかを一目で分かりやすくする。例えば以下のような prefix をつけることがある。 【質問】→ 相手の返信が欲しい時 【共有】→ 返信は不要だが、内容は把握しておいてほしい時 【メモ】→ 返信不要で、後から検索できるよう残しておきたい時 箇条書きする
CSSのみでテキストにグラデーションやリフレクトをかけるテクニック（ちょっと更新） - くらげだらけ
前回はiOS5のMobile Safariから使えるようになったHTML5・CSSについて前編と後編に分けてご紹介しましたが、そのなかで説明していない小さなテクニックについて少し紹介したいと思います。 今回はCSSでテキストにグラデーションをかけるテクニックについてです。 前回のWeb App Demoではフッタータブに特殊なWebFontを使ってアイコンを表示させるようにしていましたが、タブがActiveのときに色が変わってエフェクトがかかるようになっています。 このエフェクト効果はCSSでテキストにグラデーションをかけるテクニックをつかってやっています。 通常、CSSでテキストカラー（colorプロパティ）にグラデーションを指定することはできませんが「:after」擬似クラスや「mask-image」プロパティを組み合わせて使うことでグラデーションのような表現をすることができます。具体
ビッグデータ時代の救世主「Hadoop」とは 「Apache Hadoop」は今、最も注目を集めている技術の1つです。Hadoopとは、大量のデータを手軽に複数のマシンに分散して処理できるオープンソースのプラットフォームです。 Hadoopを活用している企業は年々増え続けていて、不可欠な技術になりつつあるといえるでしょう。 本連載では、Hadoopとは何か、Hadoopがどう活用できるのかということを、「テキストマイニング」に焦点を当てて解説していきたいと思います。 重い処理を複数のマシンに分散させる 複数のマシンに処理を分散させるには、プロセス同士の通信、監視、障害時の対応などを考えなければならず、プログラマにとってハードルが高いものです。しかし、Hadoopはそういった面倒くさい処理を一手に引き受けてくれ、プログラマは、やりたい処理だけに集中できます。 例えば、Hadoopを使うと、1
最近Linuxに触れる機会が多くなってきたので、そろそろ時間を割いて勉強でもしようかとネットで検索していたら、意外な事実を知りました…。 日本には、素晴らしい教材があったんですね…。 その名も「Linux標準教科書」。 「Linuxとは…」から始まり、基本的なコマンドの使い方から「ファイル操作」「シェルスクリプト」「Vim操作」「ネットワーク管理」など、基本的な知識が無料で公開されています。 どうやって入手するの？この教材は、Linux技術者認定試験を運営する「LPICの公式サイト」からダウンロードできるようになっています。 そのため、すでにご存知の方も多いと思うのですが、私のようにまだ知らない人もいるのでは…？ と思ったのでご紹介しておきます。 入手方法は簡単で、「Linux標準教科書」のダウンロードサイトにアクセスして、「PDFダウンロードリンク」をクリックします。 あとは、名前とメル
面白いとは何だろう？「知識」のプライオリティは下がっている町山智浩さんのブログを読んでいたら、興味深い一節に突き当たった。 オイラはものをあまりよく知らない。昔はそれを恥ずかしく思っていたし、よくバカにされてきた。でも、今はなんとも思わない。なぜなら、ネットの時代、知識は誰でも簡単に拾えるようになったので、知識そのものに価値がなくなったからだ。いや、それは言い方が違うな。本当に物知りなのか、ネットで拾っただけの知識なのか見分けることが困難になったからだ。ちょこちょこっと検索して、それを散りばめれば物知りに見える文章は作れる。「鎮」という漢字が読めない知ったかぶり「雑学王」 - ベイエリア在住町山智浩アメリカ日記 なるほどこれは確かにそうかも知れない。インターネットやIT機器の発達で、情報というものはこれまでと比べて格段と調べやすく、また引き出しやすい環境になった。だから、以前のようにそれを
つい先日、とあるシステムの処理の流れと一部処理のフローチャートを付けた見積り資料を書くことになり、ちょうど良い機会だったので、MarkdownでUML図表が描ける「StackEdit」を使って、オールMarkdownで資料を作成してみた。 いやぁ、打ち込んだテキストがリアルタイムに図表化されていく様は、とても新鮮で、そしてすごく面白かった。資料が出来上がった後の達成感というか、完成した図表を見た時の感動が結構はんぱない。技術系の資料作成でこんな良い体験ができたのは初めてかもしれんな…(笑) ──と、結構感動的な体験ができるMarkdownでのUML図表作成なんだが、せっかくなのでそれの書き方を含めてもう少し突っ込んだTIPSとしてまとめておこうかと思った次第。 Markdown+UML とは？ とりあえず、「Markdown+UML」というのは私の造語だ。まぁ、正確に言うなら「UML di
FoursquareのUX・UI改善を書いたところ、創業者に届いて、人事からもメールが来た話 - 灰色ハイジのテキスト
通っていたサンフランシスコのデザイナー養成所Tradecraftの一番最初の課題で、アプリをピックアップして、見知らぬ人に声をかけてユーザビリティテストをして改善のプロトタイプを作って検証するーというものがあったのですが、そのプロセスをこの度記事にまとめてMediumに投稿しました。 するとGoogleのデザイナーが、なんとFoursquareの創業者のDennisにメンションしているではないですか。 Awesome, just shared with the team!— Dennis Crowley (@dens) 2018年3月9日 チームの人にシェアしてくれたみたいで、Foursquareのエンジニアの人からメッセージが届いたり、その日のうちに人事の人から「今ちょうどシニアプロダクトデザイナーのポジションを募集しているんだけど、興味があったら連絡待ってるよ」みたいなメールが届きまし
デスク配線がスッキリ。Ankerの全部入り12 in 1モニタースタンドが突然8,250円OFFされてた #Amazonセール
大学生だった当時、梅田望夫の本を読んではてなにやってきた僕は、ブログ論壇への憧れだけがあって、技術者にもなれず、時流のテーマに対して書くべきテーマを持たず、ただ実家の宗教に対する恨みだけを書き綴っていた。 もちろん、そんなものを好きこのんで読む人はいなくて、ただ虚無へとテキストを放り込んでいたのだけだど、いつからか、ある程度パターンを獲得して、その真似をするようになって、成功失敗を繰り返して、それなりにPDCAを回してきたと思う。思えば、その過程でいろんな人のヘイトを買った気がする。 人間のテキストの読み方、その反応、というのはパターンを、いくつか書き起こしてみる。 読者は、ファーストビューのレイアウトで、読む読まないを決める タイトルは記事の印象の5割 章タイトルが残りの半分 本文はほとんど読み飛ばされる 書き手としては単語の印象の連なりでイメージを形成することになる 段落が均等に分割さ
最適なテキストリンクの色は？ | ウェブ力学
青系統の色が使われていることに変わりはありませんが、検索エンジン以上にバラつきが見られます。特に、Yahoo!の場合は、各ジャンルごとのページでも微妙にテキストリンクの色が変わっていました。それぞれのサイトデザインの特徴に合わせて変化させているのだろうと思います。 楽天のようにデフォルト色を使用しているサイトもありましたが、全体からすると少数派のようです。 Q&Aサイトの最大手OKWaveはGoogleと同一でした。また、ユーザビリティといえばビービットさん、ということで調べてみましたが、やや暗めの青を使用していました。ビービットさんのことなので何か意味があるのかもしれません。 クックパッド クックパッドは、日本最大級のレシピ検索のサイトです。ユーザービリティには細心の注意を払っていて、ユーザー一人当たりの平均PVが高いことでも知られています。 そんなクックパッドですが、サイトをのぞいてみ
2021年10月21日 便利ツール Webサイトや印刷物の制作中には、とりあえずで入れておく「ダミー」を使用する事が多々あるかと思います。日本ではアタリ・アテなどとも呼ばれますね。それらのダミーテキストやダミー画像を便利に生成してくれるジェネレーターをいくつか紹介します。いろんな種類のジェネレーターやサービスがあるので、うまく利用して時間短縮しちゃいましょう！ ↑私が10年以上利用している会計ソフト！ ダミーテキスト（英文） Lorem Ipsum ダミーテキストの大本命、Lorem Ipsum。Photoshopでも採用されている、「Lorem Ipsum…」から始まる有名なダミーテキストを生成できます。 Dummy HTML snippets for webdesigners HTMLタグ付きのダミーテキストのジェネレーター。左の要素を右側にドラッグ＆ドロップでカスタマイズできます。類
先日、お互いの両親、兄弟だけで結婚式を挙げました。神社で式をした後に、月岡温泉 華鳳に移動して食事会をしました。夫の家族に福岡から遠路はるばる私の地元・新潟に来ていただいたので、県内で一番良いとされる宿に。結婚式向けの食事プランもあったのですが、普通の宿泊プランで、夕食時に貸し切りの宴会場だけ借りて行いました。 さて、あまりよく知らない者同士が顔を合わせて話すのは辛いだろうな...ということで、前撮り写真のスライドショーをプロジェクターで映したりなどコンテンツを用意していました。 自らプロジェクターをセットする新郎新婦 会も中盤に差し掛かろうというところで私たちがみんなに渡したのは、生い立ちブック。自分たちが生まれてから今に至るまでを文庫本サイズに、それぞれの冊子としてまとめました。 これがもう大ウケ！私たちが一番安堵した瞬間...。スライドショーなんてほとんど見向きもせずにみんな黙々とご
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
【コンテナ技術入門】コンテナ要素技術をDocker使わずに基礎から手を動かして学べる超有用なテキスト #dockerTokyo | DevelopersIO
「Dockerって、結局中でなにやってんの？」 先日、以下のミートアップに参加して、LT登壇してきました。 Docker Meetup Tokyo #31 (初心者歓迎LT祭り＋KubeConCN報告) 自分はLTの一番手として、「雰囲気でコンテナ使っている 全ての人が読むべき 「コンテナ技術入門」の紹介」で喋ってきたので、それの登壇報告となります。 「コンテナ技術入門」は、Dockerコマンド一通り使えるようになってきたけど、もっとDockerやコンテナについて深く知っておきたいという方にはむちゃくちゃ有用なコンテンツなので、一度目を通して、実際に手を動かして試してみることをオススメします。 （祭） ∧ ∧ Y ( ﾟДﾟ) Φ[_ｿ__ｙ_l〉 ｺﾝﾃﾅﾏﾂﾘﾀﾞﾜｯｼｮｲ |_|＿| し'´Ｊ 講演概要 当日のセッションスライドはこちら。 この記事では、LTという時間枠の中
システム構成図をテキストで
Gigazineさんでdrawthe.netを取り上げていたので紹介です。使い方はGigazineさんのほうが丁寧なので、気になる方はチェックしてみてください。（2020年12月1日、追記） drawthe.netとは cidrblock/drawthe.netは複雑なネットワーク図も「テキストで書いてブラウザ上でSVGレンダリングできるようにしよう」というコンセプトのもと開発されたツールです。下図のように複雑な構成図も精度高く描くことができます。 拡大してみると情報量が多いこと、またいかに整っているかがわかると思います。 デモサイトも用意されているので、サクッと試したい場合はコチラが便利です。コードはGitHubで公開されています。更新が2017年末で止まってしまっているのが玉に瑕ですが、十分な性能を発揮してくれます。 drawthe.netを使いたい理由 美しい構成図といえばInter
無料で読めるlinuxのテキスト
ウェブ上で無料で読めるお気に入りのlinux関連書籍をリストアップしてみました。 今後もいいものに出会えたら更新する予定です。 日本語で書かれたlinuxの本 Linux標準教科書（Ver2.0.0） LPI-JAPANによる初心者向けテキスト。簡潔にまとまっていて文章も読みやすい。 フォーマット : PDF EPUB iPADアプリ Androidアプリ http://www.lpi.or.jp/linuxtext/text.shtml Linux道場 同じくLPI-JAPANによるlinux入門。 フォーマット : html http://www.lpi.or.jp/lpic_all/linux/ Linuxマスター.JP（リナックスマスター.JP） 各内容が細かくページ分けされていてる。充実した内容の解説集。 Linux Tipsを眺めるだけでも役に立つ。 フォーマット : html
大量のテキストを食っても速い Markdown Editor 作った - mizchi's blog
もう人生で何個目かわからない markdown エディタ作った。が、今回のは結構気に入っている。 https://markdown-buffer.netlify.com/ で遊べる。 用途としては、GitHub か Qiita か はてなブログかわからないが、なにか書こうと思ったときに、どのサービスも中途半端に重いので、とりあえずのバッファが必要、という感じで作った。なので速度重視。 ブラウザのストレージで永続化してる。オフラインで動く。できるだけエディタとしてはスコープを大きくせず、単に編集バッファ(textarea)でしかない、というのを意識している。 結構頑張って作り込んでしまった https://nedi.app が色々肥大化してしまっていて入力時にラグを感じるので、編集体験を見つめ直す自戒もある。 機能 数式対応 コードハイライト対応 バックグラウンドで自動保存 改行を br に
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
950ページ超え！ Androidアプリの開発入門テキストが完全無料公開中！
【侍魂】インターネット古参が泣いて喜ぶ「テキストサイト同窓会」やってみた【兄貴の館】 | オモコロ
富士通の実践知が詰まったデザイン思考のテキストブック公開
【今更】あれだけ流行ったテキストサイトが何故廃れたのか考えてみる【考察】 | オモコロ
もし、HTMLのテキスト周りでデザイナーからこんなお願いをされたら... - Qiita
Linuxコマンドでテキストデータを自在に操る - じっくりコトコト煮込んだみかん
表記揺れ検出ツール「テキストゆれないくん」 - inzkyk.xyz
スパムメールから収集したテキスト装飾 : mwSoft blog
うつの思考１０パターン（ＮＴＴ東日本関東病院テキストから）
テキストコミュニケーションで意識していること｜ymdkit
じゅじゅ on Twitter: "プログラミング、データサイエンス・統計学関連はネット上にで超優良なテキストが"無料"で公開されており、本当に良い時代。。 本ツイートに各テキストへのリンクもぶらさげておきます。 https://t.co/zSLyLEyQSL"
いまさら聞けないHadoopとテキストマイニング入門
テキストエフェクトいっぱい - DesignWalker
200ページ超え！LPICの完全無料「Linux入門テキスト」をまだ知らない人は絶対損してる！
インストールするだけであらゆるソフトのテキストを美しく滑らかに描画「gdipp」NOT SUPPORTED
テキストに知性があるかないかを見分ける10のポイント - ハックルベリーに会いに行く
Markdownテキストでシーケンス図とフローチャートを描く - Qiita diagram sequence
PDFの文字をテキスト化！ オンラインで簡単に使えるOCRサービス | ライフハッカー・ジャパン
読まれるテキストは読者へのおもてなしの構造を持っている - mizchi's blog
iOS 14でバッチリ可視化、TikTokがテキスト入力中に、クリップボードを逐一読み取る様子【やじうまWatch】
制作途中にお世話になる、ダミーテキスト・ダミー画像のジェネレーターいろいろ
家族だけの結婚式で生い立ちアルバムを配ったら、一番盛り上がるコンテンツになった - 灰色ハイジのテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト
「いったんメモ帳に貼って再コピペ」消滅か。次期Windows 10に書式なしテキスト貼付機能【やじうまWatch】
