タグ

2021年3月20日のブックマーク (3件)

  • 逆,裏,対偶

    ■ 逆・裏・対偶 【 このページの要約 】 ・ある命題 「p → q」 ( p ならば q ) が真(正しい)のとき,その対偶 は真(正しい)であるが,逆や裏は必ずしも真(正しい)とは限らない. ・ある命題 「p → q」 ( p ならば q ) とその対偶とは真偽が一致するので,対偶の真偽を示せば元の命題の真偽が示せる. ・逆の裏は対偶,裏の逆も対偶,逆の対偶は裏・・・などが成り立つ. ・ 命題 p → q には,集合の包含関係 P⊂Q が対応する. これを集合の要素で表わせば,「どんな x についても,x∈ P → x∈ Q 」になる. ・ P⊂Q ⇔ ⊂ だから,p → q ⇔ → が成り立つ.

  • Ef-1gのWEBテストを急遽明日受けなければならない人用|ちに

    明日Ef-1gのWEBテストを受けなければならないことに気が付いた私です。 もなければ、対策もしていない。 とにかく頼るは、WEBに乗っている情報。その中で、いかに高得点を狙うかにこの2時間をささげようと思います。 私より時間をかけて例題や特徴をまとめてくれている人が多いので、どの問題でどのサイトを見ればいいのかをまとめてみました。 WEBテストの特徴ブロックごとに制限時間がある https://shukatsu2017.com/ef-1g 問題が多い(19問)のわりに時間が短い(30分)問題の特徴 言語 ・ことわざの意味 ・慣用句の意味 ・四字熟語(穴埋め、意味) ・漢字の読み ・読解(空欄推測) ・文法 接続詞,副詞空欄補充①,接続詞,副詞空欄補充② ・記憶して読解 ・敬語 発想力系 • 発想力 • 企画振興力 • 記憶力を見る問題 非言語 • 記号の数え上げ • 四則計算 • 数字

    Ef-1gのWEBテストを急遽明日受けなければならない人用|ちに
  • 【Rails】RuboCopの基本的な使用方法と出力の見方 - Qiita

    はじめに RubyLinterツールであるRuboCopについて以下内容をまとめました。 インストール方法 基的な使用方法 出力の見方 規定の設定(他記事へのリンク) 保守性が高く、キレイなコードを書けるようになっていきたいです この記事が役に立つ方 RuboCopを使ったことがない方 この記事のメリット RuboCopが使えるようになる 最低限出力が読めるようになる 環境 macOS Mojave バージョン10.14.6 シェル:zsh Ruby 2.6.3 Rails 6.0.1 RuboCop 0.76.0 RuboCopとは? 公式サイトはこちらです。 Home - RuboCop: The Ruby Linter that Serves and Protects ロゴとマーフィーの名言がいいですね 規定のフォーマットから違反している部分を示してくれる機能に加え、-aオプショ

    【Rails】RuboCopの基本的な使用方法と出力の見方 - Qiita