タグ

yanAoyamaのブックマーク (630)

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

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

    読んで学べる論理学を探しているひとへ――古典命題論理から様相命題論理まで - sho__yamaguchi’s blog
    yanAoyama
    yanAoyama 2024/04/29
  • 資本家をビビらせろ | p2ptk[.]org

    以下の文章は、コリイ・ドクトロウの「Precaratize bosses」という記事を翻訳したものである。 Pluralistic 詩人アンジェロウの「人が性を見せたら、それを信じなさい」という言葉、政治における「すべての非難は自白である」という自明の理のを組み合わせると、次のようになる。「誰かがあなたを悪徳だと非難するたびに、その人は自分自身の性を見せているのであり、あなたはそれを信じるべきだ」。 そうした非難について考えてみよう。CARES法による対コロナ緊急経済対策の小切手をめぐる道徳的パニックを覚えているだろうか? 支配階級の代弁者たちは、ありとあらゆるケーブルテレビに出演し、「こんなことをしたら、誰も働きたがらなくなるだろう」と口々に不満を漏らした。労働者は、すべて――家、子供、冷蔵庫の料など――を失うことへの恐怖心のみに突き動かされて仕事に就くのだと彼らは考えている。 こ

    資本家をビビらせろ | p2ptk[.]org
    yanAoyama
    yanAoyama 2024/04/21
  • トリックアートを利用することでアルファベット立体物の低予算化を実現した岐阜駅「因みに#ではなく岐阜の市章」

    青山ブルーリッジ @aoyamaBlueRidge この岐阜駅前の「錯視アート」は2020年11月の施工 ing-global.net/infomation/202… 東京で有名な事例の、京急・羽田空港第3ターミナル駅の「錯視サイン」は2019年1月施工 keikyu.co.jp/company/news/2… 東京都港湾局にもこれを思い付く知恵者がいれば…(晴海ふ頭公園の話) x.com/shonanpen/stat… 2024-02-15 23:46:27 リンク 株式会社アイエヌジー 岐阜駅前錯視アート施工 – 株式会社アイエヌジー 岐阜駅前の信長ゆめ広場で、錯視アートをスマートペーパーで施工しました。 シートに印刷して貼るのではなく、まるで路面に絵を描いたかのように見えるのがスマートペーパーの特徴です。 リンク 京浜急行電鉄 鉄道事業者として日で初めて錯覚を活用した「錯視サイン」

    トリックアートを利用することでアルファベット立体物の低予算化を実現した岐阜駅「因みに#ではなく岐阜の市章」
    yanAoyama
    yanAoyama 2024/02/18
  • ZAZEN BOYS加入からの5年間と、 アルバム『らんど』に込めた鉄壁のグルーヴ

    ZAZEN BOYS加入からの5年間と、 アルバム『らんど』に込めた鉄壁のグルーヴ 前作から約12年ぶりとなるアルバム『らんど』を1月24日にリリースした、向井秀徳率いるZAZEN BOYS。作でベーシストを務めるのは、2018年に吉田一郎の後任として加入したMIYAだ。ここでは彼女に、バンド加入後初のオリジナル・アルバムとなった作を中心にZAZEN BOYSでの制作やライヴについて語ってもらった。1998年に結成したハードコア・バンドBLEACHで国外でも高い評価を集め、解散後は地元沖縄で385のベース・ヴォーカルとして活躍していた彼女が、どのような経緯でZAZEN BOYSに加入することになったのか?……まずはそこから話を聞いた。バンド加入時の逡巡から、ステージ哲学、使用機材、奏法(実演動画も!)まで、たっぷりと明かしてくれたインタビューをお楽しみいただきたい。 ちょうど“ベース

    ZAZEN BOYS加入からの5年間と、 アルバム『らんど』に込めた鉄壁のグルーヴ
    yanAoyama
    yanAoyama 2024/02/16
  • 旧Twitter社が「バズる」ツイートの法則を徹底的に統計解析して168ページもの資料にした代物、SNSマーケティングやってるプロが全員廃業するレベルの優良資料だった

    いぐぞー ✈️ 旅するプログラマー @igz0 旅とプログラミングをこよなく愛します。 アメリカ大陸🇺🇸を横断しました!!小学生からプログラミング→新卒SIer→Webに目覚め個人事業主兼会社員。テレビ出演経験あり。 Webサービスを作りました。AIVRに没頭中。IT関連中心にツイートします!!アイコンは@ixy先生より利用許諾済み。Amazonアソシエイト。 note.com/igz0/ いぐぞー ✈️ 旅するプログラマー @igz0 Twitter公式が「バズる」ツイートの法則を徹底的に統計解析して168ページの資料にした代物、SNSマーケティングやっているプロが全員廃業するレベルの化け物級の優良資料だった。 ちなみに無料。 SNSで「バズりたい」と思う人は全員これ読めばいいんじゃないかってレベル。 marketing.twitter.com/content/dam/ma… pi

    旧Twitter社が「バズる」ツイートの法則を徹底的に統計解析して168ページもの資料にした代物、SNSマーケティングやってるプロが全員廃業するレベルの優良資料だった
    yanAoyama
    yanAoyama 2024/02/13
  • 冬の間のテレワークの日の夜だけ、コンロの炎がオレンジになる

    冬になってからというもの、テレワークをした日の夜だけ、コンロの炎がオレンジになるようになった。 朝、朝を作るためにコンロを使っても青色の炎が出てくるのに、なぜか夕飯を作るために夜に使うとオレンジ色の炎が出てくる。 夜に使うのが悪いという訳ではなく、出社した日は夜に使っても青色の炎が出てくる。 なんでだろうなー?と思っていたところ、少し調べたら加湿器が原因だったことがわかった。水道水のカルシウムが炎色反応を起こし、オレンジ色の炎になるらしい。 確かにリビングの加湿器は冬にしかつけないし、寝てる間や出社している間は消しているので、朝や出社してした日にはオレンジ色の炎が出ない理由も納得がいった。 幽霊の正体見たり枯れ尾花、という感じだったが、なかなか面白い出来事だった。

    冬の間のテレワークの日の夜だけ、コンロの炎がオレンジになる
    yanAoyama
    yanAoyama 2024/02/12
    うちも赤くなったので調べた。超音波でもフィルターついてるやつなら白くならないよ。安物だめ。
  • パルワールドのパルのデザインとポケモンのデザインを比較したモチーフ考察する絵師が現る「明確な著作権侵害はなさそう」

    嘯(しゃお, 𝕏iao) @xiao_signo028 絵を描く医者。専門は神経(neurology)。Pixivpixiv.net/users/181992。医学界新聞にて『ひなこの研修日記』連載終了→ bit.ly/3nAw2Y3 解剖図等→#XiaosAnatomy Misskey→@xiao_signo028@nijimiss.moe 嘯(しゃお, 𝕏iao) @xiao_signo028 パルワールドのパルのデザインが色々と話題なので、ポケモン等のデザインと比較してモチーフ考察をしました。いずれも明確な著作権侵害にあたるものではないと思います。あくまで既視感の源を探す試みです。キャラデザは「シルエット」「配色」「ディティール」が重要だと思います(1/2) pic.twitter.com/3WKdFQDbwm 2024-01-26 01:05:15

    パルワールドのパルのデザインとポケモンのデザインを比較したモチーフ考察する絵師が現る「明確な著作権侵害はなさそう」
    yanAoyama
    yanAoyama 2024/01/27
    デザイナーとしてはこの仕事やらされたくねぇ…モヤモヤ半端なさそう
  • 大きな枠組みに目を向けさせないようにする - 紙屋研究所

    なぜ「自分のできること」の範囲に限定するのか 娘(中1)が「環境新聞」というのを学校の宿題で作っていて、横から眺めていた。 温暖化について書いている。 「結論は自分ができることを書かないといけないんだ」と言って、ムダな電気を消すとかそういうことを書いていた。 その後授業参観で、クラスの壁に貼られた、クラスの生徒たちがそれぞれつくった「新聞」を見る機会があったが、温暖化だけでなく、ごみの減量とか、プラスチックごみの縮減とか、さまざまな環境問題についてまさに「自分ができること」で締めくくられていた。例外なく全て。徹底した指示・指導なのであろう。 なぜ「自分のできること」の範囲に限定するのだろうか。どうして「2030年に8%という低すぎる福岡市の再生可能エネルギー普及率の戦略を引き上げる」とか「プラスチック全般に拡大生産者責任を徹底する」とか、そういう「大きな話」を書いてはいけないのだろうか。*

    大きな枠組みに目を向けさせないようにする - 紙屋研究所
    yanAoyama
    yanAoyama 2024/01/01
  • 東京大学が「因果を打ち破って充電」する量子電池を発表 - ナゾロジー

    因果を破って充電します。 東京大学で行われた研究により、因果律の壁を打ち破る新たな手法によって、従来の量子電池の性能限界を超えることに成功しました。 これまで私たちは古典的な物理学も量子力学でも「AがBを起こす」と「BがAを起こす」いう因果律が存在する場合、一度に実行できるのは片方だけであると考えていました。 しかし新たな充電法では、2つの因果関係を量子的に重ね合わせる方法が用いられており、「AがBを起こす」と「BがAを起こす」という2つの因果の経路から同時に充電することに成功しました。 研究者たちはこの方法を使えば、既存の量子電池の充電能力を高めることができると述べています。 しかし因果律を破るとは、具体的にどんな方法なのでしょうか? 今回はまず因果律を打ち破る不確定因果順序(ICO)と量子電池の基的な仕組みを解説し、その後、2つの量子世界の現象を組み合わせた今回の研究結果について紹介

    東京大学が「因果を打ち破って充電」する量子電池を発表 - ナゾロジー
    yanAoyama
    yanAoyama 2023/12/28
  • 「無限労働中年になれた」が勘違いだった話 - シロクマの屑籠

    年齢とともに気持ちが変わり、ライフステージも変わる。すると、生活や趣味や働き方も変わる。そういうことに関心をずっと寄せていた私にとって、2023年という時は「オレ、無限に働ける中年になれたのでは?」と思える一年でした。 その気持ちを書いたのが『50歳が近づいてきた中年の人生は「香車」のよう』というタイトルの、books&appsさん向け文章だったのですが、12月も後半になってきて、だんだん「香車」やってられなくなってきまして。 blog.tinect.jp 上掲リンク先を書いたのは11月の後半ぐらいで、その頃はまだ仕事やミッションに全力投球を続けていたんですが、12月に入って疲弊してきて、年の瀬に入って「これじゃ身体かメンタルのどちらかがぶっ壊れる」と思って全力投球モードをやめました。で、全力投球モードをやめて最近は何をしているかというと、宇宙探索です。 2020年に紹介記事を書いたことの

    「無限労働中年になれた」が勘違いだった話 - シロクマの屑籠
    yanAoyama
    yanAoyama 2023/12/28
  • ZAZEN BOYS - 永遠少女

    Zazen Boys - 永遠少女 All songs and lyrics by Mukai Shutoku Movie director : Murao Terutada Photography : Sanai Masafumi Lyrics English translation : Leo Imai ZAZEN BOYS 『らんど』2024年1月24日リリース 各配信サイトリンク https://ssm.lnk.to/Rando This video all rights reserved by Mukai Shutoku / Matsuri Studio 永遠少女 あなたのお母さんは鏡の向こうで笑っている あなたのおばあちゃんは写真の中で笑っている 君のまなざし おばあちゃんと変わらない おばあちゃんも少女 永久に少女 君のまばたき お母さんと変わらない お母さんも少

    ZAZEN BOYS - 永遠少女
    yanAoyama
    yanAoyama 2023/12/20
  • Figma and Adobe are abandoning our proposed merger | Figma Blog

    Fifteen months into the regulatory review process, Figma and Adobe no longer see a path toward regulatory approval of our proposed acquisition. Figma and Adobe have reached a joint decision to end our pending acquisition. It’s not the outcome we had hoped for, but despite thousands of hours spent with regulators around the world detailing differences between our businesses, our products, and the m

    Figma and Adobe are abandoning our proposed merger | Figma Blog
    yanAoyama
    yanAoyama 2023/12/19
  • (追追記致しました)(追記致しました)国民皆保険制度になくなってほしい

    (追追記) 思ったよりバズり困惑する一方でこの話題に感心を持ってもらって嬉しくも思います。表現の汚さは、連休中日の当直後、概日リズムを崩すまいと、徹夜明けのハイな状態で書いていた文章である事を以て言い訳とさせてください。 一点、誤解されている点を追記させてください。あんな文章を書いておいてアレなのですが、私個人は、皆保険制度をまるごと消滅させるべきとは考えておりません。医者が他人の金をクソの山に埋める事を生業としている現状を変えたいと思っているのです。 現状は、様々なプレイヤーが種々の程度で皆保険チャンに乱暴を加えている状況であり、それが日の衰退を惹起させているのだと認識しております。 (そして、すべてが手遅れになった際には、全て医師のせいにされるのであろうという、強い予感も感じております。) しかしながら、ルールが悪用されるに当たっては、悪いのは悪用されるルールの方です。日だとこのル

    (追追記致しました)(追記致しました)国民皆保険制度になくなってほしい
    yanAoyama
    yanAoyama 2023/11/05
  • 立憲民主党の「消費税還付法案」を支持する|藤崎剛人

    最近の野党は、文字通り右も左も消費税減税を主張しています。これは考えてみれば不思議なことです。なぜなら、世論調査の結果から分かるのは、世論は消費税は上がるときは反対運動が広がるが、いざ上がってみると減税運動にはそこまで積極的にならない、というものだからです。2021年の衆議院選挙でも、消費税については特に大きな争点になっていたとは言い難いでしょう。もちろん消費税には逆進性があり、庶民の家計を圧迫する要因のひとつです。しかしながら、ほぼ全ての野党が減税にベットするような税制かと言われれば疑問です。 もちろん消費税が安くなることにこしたことはない。しかし全体で20兆円以上の税収となっている消費税を減税するならば、その穴埋めをどこかでしなければなりません。維新や国民民主党が狙っているのは福祉カットです。「世代間格差」というトンデモ理論を根拠に、高齢者福祉を削り、「生きるに値しない生」をつくりだそ

    立憲民主党の「消費税還付法案」を支持する|藤崎剛人
    yanAoyama
    yanAoyama 2023/11/02
  • GPT-4をセラピストとして実行し、「認知の歪み」を診断させるためのフレームワーク『Diagnosis of Thought (DoT)』と実行プロンプト | AIDB

    近年、精神療法の領域でAIの活用に注目が集まっています。そんな中、カーネギーメロン大学などの研究者らによって新たなフレームワーク『Diagnosis of Thought (DoT)』が考案されました。このフレームワークは、LLMによって人々の「認知の歪み」を診断する目的に特化しており、専門家によって高く評価されています。 認知の歪みとは、例えば「0か100か」のような極端な考え方や、他人の考えを勝手に推測するなど、不健康な思考パターンのことを指します。 DoTフレームワークを用いた診断結果は、人間の専門家が出す診断結果とも高い一致性を示しており、その有用性が確認されています。 (追記)なお、フレームワークに基づくMyGPTを作成しました。記事末尾にURLを記載するため、興味のある方はぜひお試しください。 参照論文情報 ・タイトル:Empowering Psychotherapy wit

    GPT-4をセラピストとして実行し、「認知の歪み」を診断させるためのフレームワーク『Diagnosis of Thought (DoT)』と実行プロンプト | AIDB
    yanAoyama
    yanAoyama 2023/10/17
  • タスク指向のデザインはなぜ生まれるのか?

    『タスク偏重のデザインはなぜ生まれるのか?』の続きです。 簡単だから 画面を見て悩むデザイナーが「全体はよくわからないから別にしてこの中だけ作るか」と言いながらボタンの先に画面を連ねようとしている オブジェクト指向のUIにするには手順を解体し、オブジェクトを中心に構造化する必要があります。重複しているものはマージし、必要に応じて新しいオブジェクトを定義したり新しいイディオムを検討することもあります。 (例:「簡単に新規作成する」という機能に対して複製、テンプレート、マスターというイディオムを検討する) これらはそれまで作ってきたものとうまく整合するようにしなければいけませんし、整合しないならどこをやめたら全体としてひとつの形にできるのか考えることになります。これは大変です。 対してタスク指向のUIデザインは簡単です。 新しいタスク用に新しい入り口を作って、必要な入出力を線形に並べ、例えばウ

    タスク指向のデザインはなぜ生まれるのか?
    yanAoyama
    yanAoyama 2023/09/24
    あくまで不適切なタスク志向、というべきで、OOUIだけが正解でもないのだがなぁ。デザイナーはツールや使いこなしや自由が好きで、一方他者の仕事を定義する責任を負いたくないのでOOUI偏重になりがち。
  • DCPRG『構造と力』リリース20周年 菊地成孔が語る、オルタナティブなグルーヴの現在

    音楽家で現在は音楽ギルド・新音楽制作工房も運営する菊地成孔。彼が率いていたDC/PRG(Date Course Pentagon Royal Garden/当時はDCPRG)による2ndアルバム『構造と力(Structure et Force)』が、2003年9月25日の発売から20周年を迎える。 作の収録曲は前作『アイアンマウンテン報告』と比べ、さらにクロスリズムやポリリズムにフォーカスしており、当時としては律動的かつかなり先鋭的な内容だった。特に当時、4拍子と5拍子が同時に鳴るリズムを踊れる楽曲に落とし込んだのは驚嘆でしかない。 しかし執筆家でもある菊地が膨大なテクストを残した副作用なのか、雑誌カルチャーの衰退が原因なのか、音楽そのものを具体的に語ったインタビューはネット上にほとんどないのが実情だ。そこでリリース20周年を期に『構造と力』の音楽的な回想を依頼。 「5」という数字(ペン

    DCPRG『構造と力』リリース20周年 菊地成孔が語る、オルタナティブなグルーヴの現在
    yanAoyama
    yanAoyama 2023/09/24
  • 現行の即興音楽のための拙いディスク・ガイド|prtcll

    「インプロ・りぶる」というツイッター(というか現在では「X」と呼ぶべきか)のアカウントが、8月15日に「フリー・インプロヴィゼーションに初めて触れる人のためのディスクガイド──デレク・ベイリーから連なる音たち」という記事を公開した。カンパニー社より以前出版されたJohn Corbettの書籍『フリー・インプロヴィゼーション聴取の手引き』をベースとし、代表格的なDerek Baileyの作品を中心にセレクトしたものだ。 当ページではDerek Bailey [AIDA] (1980)、齋藤徹 [パナリ] (1996)、齋藤徹 & 長沢哲 [Hier, c’était l’anniversaire de Tetsu.] (2017)、阿部薫 [彗星パルティータ] (1973)、川島誠 [Homo Sacer] (2015)の計5作品が紹介されている。別にこの記事に対してケンカを売るとかそういっ

    現行の即興音楽のための拙いディスク・ガイド|prtcll
    yanAoyama
    yanAoyama 2023/08/28
  • 1年以上インボイス制度対応をして、業務とシステムを踏まえて法整備がされるべきだと思った - SaaSベンチャーで働くエンタープライズ部長のブログ

    受取請求書処理SaaSのプロダクトマネージャーとして、この1年以上プロダクトのインボイス制度対応を行ってきました。 請求書の受け取り、仕訳処理、支払処理などを行うB2BSaaSだったのですが、インボイス制度自体が非常に複雑で対応方法に非常に頭を悩まされてきました。 法制度自体が過度に複雑なため、業務もプロダクトの設計もユーザー体験も複雑にならざるを得ない点を感じました。 インボイス制度は増税観点で批判されることも多いのですが、業務自体の生産性やエンジニアの開発生産性にも影響を及ぼすと感じ、今回は法制度の複雑性に焦点を当てていきます。政治的な内容はあまり書くつもりはないのですが、昨今あまりに業務をおざなりにして法制度が作られることが気になるので課題意識を書いてみたいと思います。 インボイス制度とは インボイス制度によって業務負担が増える 適格請求書を逐一確認する業務負担が増える 適格請求書か

    1年以上インボイス制度対応をして、業務とシステムを踏まえて法整備がされるべきだと思った - SaaSベンチャーで働くエンタープライズ部長のブログ
    yanAoyama
    yanAoyama 2023/08/22
    医療分野のレセプト請求とかやってみ、ウケるレベルで制度がやばい
  • AIはどのような仕事ができるようになったのか?ChatGPTで変わる「優秀な人材」

    この図はざっくりと3つの領域に分かれます。まず左下が従来のプログラミングの領域です。これは簡単に言うと「プログラムは間違ってはいけない定形な仕事を奪う」ということです。次にその上の士業が責任を取る領域です。これは「責任」を取る人がいないと成立しない仕事です。ミスが発生した際に罰則を与えるという形で、ミスの発生を防いでいます。最後に右側のホワイトカラーの仕事の領域です。ホワイトカラーの仕事は入出力が不定形であり、作業フローも非定型であったりします。そのため、多少のミスはあっても仕方ないという前提の上で仕事が行われています。 機械学習がビジネスに組み込まれるにつれ、ホワイトカラーの仕事領域はそれらによって少しずつ代替されつつあります。その図がこちらになります。 ホワイトカラーの担っていた領域は、表データの機械学習(重回帰や、Lasso回帰、SVM、RandomForest、LightGBMなど

    AIはどのような仕事ができるようになったのか?ChatGPTで変わる「優秀な人材」
    yanAoyama
    yanAoyama 2023/08/17