タグ

taka_sekのブックマーク (317)

  • 読んで学べる論理学を探しているひとへ――古典命題論理から様相命題論理まで - sho__yamaguchi’s blog

    論理学を基礎から〈テキストを読むこと〉だけで独習しようとするひと――こうしたひとにとって役立つかもしれない講義テキストを置いておく。これは某大学で私が担当している論理学の講義のテキストであり、その授業では安井邦夫『現代論理学』(世界思想社、1991年(新装版2021年))も教科書に指定されている。ただし、以下のテキストは、安井の教科書がなくても読むことができる(他方で、「論理学Ⅰ」のテキストを読み終えた後に、その続きとして安井で述語論理などを学び進めることもできる)。 ちなみに、論理学をまなぼうとするひとの中には《ふつうの散文は却って読みにくく、とりあえず記号を並べてほしい(あとは自分で考えるから)》という方もいると思う。そうした方にとっては、残念ながら、私のテキストは却って読みづらいだろう。なぜなら私のテキストは――最近はこうした言葉づかいがあるらしいが――形式化の背景にある「お気持ち

    読んで学べる論理学を探しているひとへ――古典命題論理から様相命題論理まで - sho__yamaguchi’s blog
  • CAT6A準拠を名乗るフラットLANケーブル←こいつゴミです

    言いたいこと最近はCAT6Aでフラットケーブルが登場してるが、あれ全部ゴミだ 30mぐらいまであるけどマジゴミ。 買う価値なし。 ゴミは置いといても、LANケーブルには「準拠」と「対応」があるらしい。区別して使うべし 長い文章(読み飛ばしてよい)CAT6Aで施工指示したのに5Eになってたと言う記事を読んで思い出したので吐き出しておく。 大手OAサプライヤで売っている完成品LANケーブル。これもCAT6Aが標準になってきて久しい。5Eのものはほぼ見られなくなった。 その中でフラットケーブルと言われるものが売られている。 通常LANケーブルというのは、細い線が何か寄り合わされて、さらに保護用のチューブに入れられた構造だ。なので断面が丸いケーブルが普通である。 それを、丸くまとめるのではなく一直線に横に並べ固めたものがある。これをフラットケーブルという。また見かけから「きしめんケーブル」などと

    CAT6A準拠を名乗るフラットLANケーブル←こいつゴミです
  • 臨界期仮説とSLAニワカによる教育論のコンタミ - こにしき(言葉・日本社会・教育)

    実は私、卒論(の一部)で、L2臨界期仮説に関するレビューをやったりした。その頃からの疑問が、なぜ日英語教育研究者は、教育とはほとんど関係ない臨界期仮説をすぐに紹介したがるのかという点だ。 そういえば一昨年出た(色んな人が引用する)このも、早期英語教育ではなく、臨界期仮説に関するである(早期英語を正面から扱っているのは最後の章だけ)。 英語学習は早いほど良いのか (岩波新書) 作者:バトラー 後藤 裕子岩波書店Amazon 臨界期仮説を支持するのはおかしいとかそういう話ではなく、支持・不支持それ以前のことについて私は言っている。教育論で臨界期に言及すること自体が、そもそも臨界期という概念をよくわかってないんじゃないの?という疑問である。 詳細はこちらに書いた。 英語学習と臨界期(寺沢拓敬) - 個人 - Yahoo!ニュース もちろん「臨界期仮説に言及しても変じゃない文脈」という

    臨界期仮説とSLAニワカによる教育論のコンタミ - こにしき(言葉・日本社会・教育)
  • 大学で読んだ情報科学関連の教科書 - ジョイジョイジョイ

    先日、博士(情報学)になりました。学部と大学院をあわせた 9 年間で読んだ情報科学関連の教科書・専門書を思い出を振り返りつつここにまとめます。私は授業はあまり聞かずに独学するタイプだったので、ここに挙げた書籍を通読すれば、大学に通わなくてもおおよそ情報学博士ほどの知識は身につくものと思われます。ただし、特に大学院で重要となる論文を読み書きすることについては稿には含めておりません。それらについては論文読みの日課についてや論文の書き方などを参考にしてください。 joisino.hatenablog.com 凡例:(半端)とは、数章だけ読んだ場合か、最後まで読んだものの理解が浅く、今となっては薄ぼんやりとしか覚えていないことを指します。☆は特におすすめなことを表します。 学部一年 寺田 文行『線形代数 増訂版』 黒田 成俊『微分積分』 河野 敬雄『確率概論』 東京大学教養学部統計学教室『統計学

    大学で読んだ情報科学関連の教科書 - ジョイジョイジョイ
  • 【ClipStudio】初心者向け 効率良く漫画原稿を作る手順解説 - 物覚え雑記帳

    「ClipStudioを使用して漫画原稿を作るのが初めて」という方に向けて、漫画原稿を作る手順を解説していきます。 クリスタ公式にも「シリーズ "マンガを描いてみよう モノクロマンガ編【PRO/EX】」という解説ページがありますが、それよりもなるべく作業効率が上がるような方法を紹介します。なお、解説に使用しているのはEXバージョンです。(同人誌や複数ページの漫画を作る場合はPROよりEXが断然おすすめ。) まずは原稿用紙の準備と作成までです。 環境設定の変更 原稿テンプレの作成 原稿テンプレの構造と一例 新規ファイルの作成 通常フォルダーとレイヤーの作成 コマ枠フォルダーの作成 フォルダーの構造を変更 その他お好みで… テンプレート素材に登録 原稿用紙を新規作成する 環境設定の変更 原稿では単位を「px」より「mm」に変更しておいた方が便利です。 [ファイル]メニュー→[環境設定]→[定規

    【ClipStudio】初心者向け 効率良く漫画原稿を作る手順解説 - 物覚え雑記帳
  • GPT-3.5-TurboとGPT-4-Turbo、Claude2、Claude3(Haiku)、Claude3(Sonnet)、Claude3(Opus)、Gemini Pro、Gemini Ultraに同じ質問をして、回答結果を比較してみた - Qiita

    GPT-3.5-TurboとGPT-4-Turbo、Claude2、Claude3(Haiku)、Claude3(Sonnet)、Claude3(Opus)、Gemini Pro、Gemini Ultraに同じ質問をして、回答結果を比較してみたPythonAWSAzureOpenAIGoogleCloud はじめに GPT-3.5-TurboとGPT-4-Turbo、Claude2、Claude3(Haiku)、Claude3(Sonnet)、Claude3(Opus)、Gemini Pro、Gemini Ultra(Gemini Advanced)に同じ質問をして、回答結果を比較してみました。 Gemini Ultra以外のモデルはPythonコード上から実行し、Gemini UltraはGemini Advancedのチャット上で実行しています。 各モデルの詳細は以下のとおりです。 G

    GPT-3.5-TurboとGPT-4-Turbo、Claude2、Claude3(Haiku)、Claude3(Sonnet)、Claude3(Opus)、Gemini Pro、Gemini Ultraに同じ質問をして、回答結果を比較してみた - Qiita
    taka_sek
    taka_sek 2024/03/07
  • 3値論理

    なぜ「= NULL」ではなく「IS NULL」と書かなくてはならないのか? これは、気になっている人も多いはずです。まだ SQL に不慣れな頃、ある列が NULL である行を選択しようとして、 SELECT * FROM table_A WHERE col_1 = NULL; というクエリを書いてしまい、エラーになったり思い通りの結果が得られなかった、という経験は、ほぼ全ての人が持っているでしょう。ちょうど C言語や JAVA を習い始めのころに「if (a = 5)」と書いてしまう間違いとよく似ています。最初は、言語仕様の汚さにぶつぶつ文句をいいながらも、そのうち「IS NULL」という書き方に慣れてしまって、疑問を持たなくなります。 でもどう考えても奇妙な書き方ですよね。こんな素直でない書き方をしなくてはならないということには、やはりそれなりの理由があるのです。今からその理由を説明しま

  • 中学受験とは何だったのか - nomolkのブログ

    子供の中学受験が終わった。結果的には子供の人生を良い方向に導く結果になったと感じているものの、それでもなお「何だったのか」と感じてしまう謎の儀式であった。 ほんとうに、中学受験とは何だったのか。 受験、それはいつのまにかやってくる そもそも僕もも地方の田んぼの隙間で育った田舎者であり、小学生で受験をするという発想すらなかった。むしろ小さな子供を受験勉強に追い込むことに愚かしさを感じていて、正直その気持ちは最後まで消えなかった。 なのになんで受験をすることになったかというと、もとを辿れば小2のときである。うちの近所には大手の受験塾が一つしかなく受験期から入ろうとしても満員で入れないというので、選択肢を残す意味で子供を入れた。この時点で入塾はあくまで「判断は保留」の意図だったわけだが、見落としていたことが一つあった。環境が人を作るのである。 3年後、「受験で良い結果を残す!」という決意に満ち

    中学受験とは何だったのか - nomolkのブログ
  • Alexaのスキルを自作して手持ちの音楽ファイルを再生させよう | あんどろいどスマート

    Alexaのスキルを自作して手持ちの音楽ファイルを再生させよう2019年06月04日17時05分 公開カテゴリー: マルチメディアキーワード: おすすめ, チップス Short URL ツイート Amazonの音声アシスタント「Alexa」では音楽を再生させることもできるが、標準では「Amazon Music」などの音楽配信サービスの楽曲にしか対応していない。小規模な自主制作レーベルの作品や定額配信に否定的なメーカーやアーティストの作品などは配信されていないことがあるし、既にCDやDL販売で購入した楽曲をAlexaで聴く為だけに追加料金を払うのも口惜しい。 どうにかして手持ちの音楽ファイルをAlexaに再生させたければ、「スキル」を自作しよう。音楽プレイヤーのスキルを作成するには、「次」「停止」などの命令に応じた処理をスキル作者が実装しなければならないので、全部自分で作るのは面倒くさいが、

  • 100分de名著シリーズのバックナンバー約100冊を読破したら人生変わった

    補足書きました思った以上の反応を頂いて驚いてます。 コメントへの返信など、追記しようかと思ったのですが、長くなったので別記事にしました。 興味あったら見てください。 https://anond.hatelabo.jp/20200102201209 はしがき釣りっぽく書いたけどほんと。 結構色んな意味で読書や知識というものに関する意識が変わったので、なんかアウトプットしたくなった なお、名著そのものを知ったことに関する感銘とかは今更私が言うまでもないので省きます。 書きたいのは100分de名著シリーズを対象にした読書を集中して実施したことに関するメタ効果に関して。 ちなみに、読破したと言っても読破したのはあくまで解説。 スペシャル版とか、ブックス版はもう少し厚いけど。どれも約120ページで、読書慣れしてる人なら2-3時間で読める量だと思う。 いやそれじゃ読んだことにならないだろ原典あたれよ

    100分de名著シリーズのバックナンバー約100冊を読破したら人生変わった
  • 非伝統的金融政策の効果と副作用

    非伝統的金融政策の効果と副作用 「金融政策の多角的レビュー」に関するワークショップ(第1回) ―― 第4セッション 非伝統的金融政策 ―― 2023年12月4日 日銀行 企画局 ここで示された見解は、必ずしも日銀行の公式見解を示すものではありません。 多角的レビューシリーズ Broad Perspective Review 問題意識 2 (注)左図の政策金利は月末値(政策金利がない期間は当座預金への付利金利をプロット)、CPI(除く生鮮)は消費税率引き上げの影響 を除く。右表のフォワードガイダンスの導入時期はFilardo and Hofmann[2014]の整理に基づく。 (出所)総務省、日銀行 主要国中銀における非伝統的政策導入史  わが国では、「物価の安定」が課題となる中、名目短期金利のゼロ 制約に直面し、1990年代後半に非伝統的金融政策が導入された。  海外中央銀行の多

  • 9時間足すんだっけ引くんだっけ問題~あるいは、諸プログラミング言語はいかにタイムゾーンと向き合っているか - エムスリーテックブログ

    私は日付時刻の処理が大好きです。 タイムゾーンの問題でデータ抽出が9時間分漏れていたとか、朝9時の始業前のログが昨日付けになってしまっていたなんていう問題が起こると喜んじゃうタイプ。 そんな私にとって、各プログラミング言語が標準で持っている日付時刻型クラスにはそれぞれ思うところがあり、今日はちょっとその品評会をしてみたいと思います。 エムスリーエンジニアリンググループ、Unit1(製薬企業向けプラットフォームチーム)三浦(@yuba@reax.work) [記事一覧 ]がお送りいたします、エムスリー Advent Calendar 2023の2日目です。 至高の日付時刻型を持つ言語、BigQuery SQL 不足はないが蛇足、Java 8 日付時刻で画竜点睛を欠いたC# C#よりややまし、Python 型は良い構成、なのに命名と処理関数で損しているPostgreSQL まとめ We ar

    9時間足すんだっけ引くんだっけ問題~あるいは、諸プログラミング言語はいかにタイムゾーンと向き合っているか - エムスリーテックブログ
  • トランシーバーを子どもと使うと最高

    【通信範囲】 ・市街地:約100m~200m ・郊外:約500m~1km ・見通しの良い場所:約1~2km ※この手の格安トランシーバーは、対象年齢が「6歳〜80歳」と書かれていたり、全く書かれていなかったり、「キッズ」「儿童」と書かれていたりとハッキリしないが、小さな子どもに渡す時は、電池の誤飲など充分に気をつけましょう。 ※スーパーなどで使うと、業務でトランシーバーを使ってる方々と混線したりと、迷惑がかかるのでやめましょう。 実感としては、遮蔽物の少ない公園だったら、よほど大きくない限り、まずどこでも届く。 住宅街だったら、町内が限界といったところ。 そもそもトランシーバーを今回はじめて買うので、スペック上の比較ができないのだが、商品レビューを眺めてみると「昔のおもちゃのトランシーバーと比較すると、とっても高性能」というコメントが多かった。 単四電池を3使う 充電池を入れておけば、付

    トランシーバーを子どもと使うと最高
    taka_sek
    taka_sek 2023/10/31
  • 【一般TCG理論】なぜ人はデッキを弱くするのか|もりゆき

    人間はいつも合理的ではない。ときにとても変な判断をする。 人のデッキを見ていると、「え、なんでそんな弱いカード入れちゃったの?(それならコピーデッキのが強いのに…)」と思うことがよくある。いや、偉そうに言っている自分の過去のデッキを改めて見ても思うことがある。 なぜ?どのようにこういった変な判断が起きるのか? これを探り、自分の判断を修正し、より合理的な判断ができればそんないいことはない。 心理学と経済学の融合分野である行動経済学からプロスペクト理論というものを拝借し、人の不合理性がTCGに表れる原理を考察する。 プロスペクト理論次のグラフは「幸福の変化の度合い」(効用、縦軸)が実際に得られた得られた利益(たとえばお金、横軸)に対しどう変わるか示したものだ(価値関数)。 出典: Wikipedia Prospect Theoryここに現れているヘンな性質を説明する。 ①非線形性1000円も

    【一般TCG理論】なぜ人はデッキを弱くするのか|もりゆき
  • 実践要件定義入門 - 勘と経験と読経

    最近ネットを見ていると要件定義入門的な記事とか、あと要件定義は不要みたいな記事が目についたので思ったことを書いてみる記事その2。ITシステム開発における要件定義に関するあれこれ。記事には前編があります。 目次 要件定義以前 要件定義の進め方 IPAユーザのための要件定義ガイドをベースにする 決め過ぎない 機能を定義するのではなく、機能要件を定義する 関係者をすべて洗い出す 利用者マニュアルの目次が作れるようになっているか ビジネス要件定義 前提事項、制約事項とリスクを定義する 優先順位の決定を忘れずに システム化要件定義 不安定な要件を構造で支える おまけ:記事の元ネタ 要件定義以前 要件定義というプロセスが当に必要なのか、ということなどは以下の記事に書いたので省略。 実践要件定義入門以前 - 勘と経験と読経 要件定義の進め方 IPAユーザのための要件定義ガイドをベースにする 前編に

    実践要件定義入門 - 勘と経験と読経
  • アイヌ語仮名「ㇷ゚」に対する正規表現の罠

    導入 アイヌ語は日語と異なり、閉音節(子音で終わる音節)も存在するので、表記の際音素文字であるラテン文字なら、そのまま p, t, k, m, n, s, r などの子音文字を後ろの付ければ良いわけなので、アイヌ語ローマ字表記では、何も問題が生じない。しかし、元々開音節言語である日語に特化したカタカナのような仮名文字で表記する際、鼻音 n は「ン」でなんとかなる(実はそれでもまずい事になっているけどここでは割愛する)が、p, t, k, m, n, s, r, h はどうしようもないので、特殊の捨て仮名(小書き仮名文字)を利用することになっている。 具体的には以下のような特殊仮名文字(通称 アイヌ語仮名)である。 ㇷ゚ -p ッ -t ㇰ -k ㇺ -m ㇱ -s ㇻ -(a)r, ㇼ -(i)r, ㇽ -(u)r, ㇾ -(e)r, ㇿ -(o)r お分かり頂けただろうか… 問題 r

    アイヌ語仮名「ㇷ゚」に対する正規表現の罠
  • バーベンハイマーの原爆ミームへの抗議は、アメリカ人側となぜ全く噛み合っていなかったのか|THE MAINSTREAM(沢田太陽)

    どうも。 なんか日で話題になってましたね。 このブログでも7月20日の週あたりから報じていました「バーベンハイマー」。「バービー」と「オッペンハイマー」、この2つの批評的評価の高い映画で、アヴェンジャーズの「エンドゲーム」以来の興行的大成功を得たという話。続編映画しか当たらないハリウッドの状況に一石を投じるすごくポジティヴなものとして世界の映画ファンの間ではかなり好意的な感じで受け止められてました。 ところが こうした原爆を茶化しているのかと思えるミームが出回りまして、これに対してワーナーの「バービー」の公式が「忘れられない夏になる」、あるいはキノコ雲を髪型にして「いかしたスタイリスト」なるレスをやっちゃったんですね。 これが日人の逆鱗に触れて猛抗議が起きまして、「バービー」の公式が日人の投稿で荒れまして、日の公式、さらにアメリカのワーナー社が謝罪するという事態に出て、 こういう

    バーベンハイマーの原爆ミームへの抗議は、アメリカ人側となぜ全く噛み合っていなかったのか|THE MAINSTREAM(沢田太陽)
  • 徐々に高度になるリングバッファの話 - Software Transactional Memo

    リングバッファのイメージ図 1. リングバッファとは何か 機能的にはFirst In First Out (FIFO)とも呼ばれるキューの一種であるが、リング状にバッファを置いてそれの中でReadとWriteのインデックスがグルグルと回る構造をとる事によって容量に上限ができることと引き換えに高速な読み書き速度を得たものである。キューを単に実装するだけなら山ほど方法があって線形リストを使ってもいいしスタックを2つ使っても原理的には可能だ。その中でもリングバッファを用いた方法の利点はひとえに性能の高さでありメモリ確保などを行わないお陰でシステム系の様々な場所で使われている。 これの実装自体は情報系の大学生の演習レベルの難度であるが少し奥が深い。まずリングバッファのスタンダードなインタフェースと実装は以下のようなものである。 class RingBuffer { public: explicit

    徐々に高度になるリングバッファの話 - Software Transactional Memo
  • ChatGPT プラグイン機能一覧|しおぱん

    こんにちは。しおぱんです。ChatGPTのプラグインがあまりに多すぎて大変だったので、プラグイン機能一覧を作りました。 【お知らせ】 プラグインの増加速度が早すぎるため、記事作成が追いついておりません🙇 お急ぎの方はこの記事作成でも利用しております、こちらのプロンプトを使ってみてください🙌 【カテゴリ検索の方法】 ブラウザの検索バーに [カテゴリ名] を入力すると絞り込みできます🙆 Mac: Command + F / Windows: Ctrl + F 【カテゴリ一覧】 [エンタメ] [音楽・音声] [画像・動画] [学習] [学術] [語学] [プログラミング] [ビジネス] [マーケティング] [ファイナンス] [ニュース] [ツール] [リサーチ] [ウェブアクセス] [天気] [旅行] [レストラン] [ショッピング] [医療・健康] [不動産] [求人] [ユーティリティ

    ChatGPT プラグイン機能一覧|しおぱん
  • 【資料公開】目標設定の基本

    みなさんこんにちは。@ryuzeeです。 2023年5月9日に開催されたNTT Com Open TechLunch #7「エンジニアリングマネージャーと目標設定」の登壇資料を公開します。 このイベントはNTTコミュニケーションズの社内ランチ勉強会を一般に公開しているものです。 ぼくは、NTTコミュニケーションズの技術顧問をしており、顧問業の一環として登壇しています。 多くの組織では、この時期に期初の目標設定を行っているのではないかと思いますが、目標設定の意味や位置づけ、それをどのように使うのか、評価や報酬との関係はどうなるのかといったことについて組織のなかで認識が揃っていることはまれです。 こうなると、人事制度のなかで目標設定をすると決められているのでめんどくさいけどやる、という感じになったり、目標設定が終わったら内容を綺麗さっぱり忘れて、期末になって「あー、そういえば……」みたいなこと

    【資料公開】目標設定の基本