メインコンテンツまでスキップ

12 - パーソナルスキル

基礎的思考と論理学​

Relevant DSS-P Skills
  • 5. パーソナルスキル > 5.2 コンセプチュアルスキル > 創造的な問題解決
  • 5. パーソナルスキル > 5.2 コンセプチュアルスキル > 批判的思考

論理学​

  • Logic - 正しい推論を研究する学問です
    • Logical reasoning - 厳密な方法で結論に到達することを目指す精神活動です
      • 演繹的、帰納的、アブダクション的、類推的
    • First principle - 他のいかなる命題や仮定からも演繹できない基本的な命題または仮定です
  • 論理学の分野
    • Informal Logic - 日常生活で用いられる議論を分析・評価するさまざまな手法を指す広範な用語です

非形式論理学​

  • Argument - 非形式論理学における中心的な研究対象であり、ある陳述 (結論) の真偽の程度を決定することを意図した一連の陳述 (前提) です
    • Enthymeme - 前提の一つが明示的に述べられていない議論であり、現実世界の推論によく見られる特徴です
  • 議論評価の基準
    • Fallacy - 議論の構築において無効な、あるいは欠陥のある推論を用いることであり、気づかれなければ理にかなっているように見えることがあります
    • Category mistake - ある性質を持ちえない物事にその性質を帰属させてしまう推論上の誤りです
  • 関連分野
    • Rhetoric - 説得の技術です
    • Critical Thinking - 健全な結論や十分な情報に基づく選択を行うために、利用可能な事実、証拠、観察、議論を分析するプロセスです

数理論理学​

Relevant DSS-P Skills
  • 5. パーソナルスキル > 5.2 コンセプチュアルスキル > 批判的思考

基礎概念​

  • Formal system - 公理体系を抽象化・形式化したものであり、一連の推論規則を用いて公理から定理を導出するために使われます
  • Gödel's incompleteness theorems - 基本的な算術をモデル化できるあらゆる形式的公理系に内在する限界を示す、数理論理学における 2 つの定理です
  • 論理法則
    • De Morgan's laws - いずれも有効な推論規則である、一対の変換規則です
    • Law of noncontradiction - 任意の命題について、その命題とその否定が同時に真であることはあり得ないとする法則です
    • Law of excluded middle - すべての命題について、その命題かその否定のいずれかが真であるとする原則です
    • Peirce's law - 古典論理において、任意の命題に対して排中律が成り立つとする原則です
    • Proof by contradiction - ある命題が偽であると仮定すると矛盾に至ることを示すことで、その命題が真であることを証明する間接証明の一形式です

論理体系​

  • Propositional calculus - 命題 (真か偽かのいずれかである) と命題間の関係を扱う論理学の一分野であり、それらに基づく議論の構築も含みます
    • 連言、選言、含意、双条件、否定
    • Tautology - 論理定数のみが固定された意味を持ち、構成要素の解釈にかかわらず常に真となる式です
  • First order logic - 数学、哲学、言語学、コンピュータサイエンスで用いられる形式体系の集合です
    • 全称量化と存在量化
  • Higher order logic - 追加の量化子や、時にはより強い意味論によって一階論理と区別される論理の形式です
  • Modal logic - 可能性と必然性に関する陳述を表現するために用いられる論理の一種です

数理論理学の分野​

  • Set theory - 集合を研究する数理論理学の分野であり、集合は非形式的にはものの集まりとして記述できます
  • 素朴集合論
    • Set - 異なるものの集まりであり、その要素は集合の要素またはメンバーと呼ばれ、通常はあらゆる種類の数学的対象です
    • Function (a.k.a. Map) - 2 つの集合の間の二項関係であり、最初の集合のすべての要素を 2 番目の集合のちょうど 1 つの要素に関連付けるものです
    • Operation - ある集合からそれ自身への関数です
      • Idempotence - 最初の適用を超えて結果を変えることなく複数回適用できる、特定の演算の性質です
    • Partition of a set - 集合の要素を、すべての要素がちょうど 1 つの部分集合に属するように、空でない互いに素な部分集合 (「ブロック」または「セル」と呼ばれる) にグループ分けすることです
    • Equivalence relation - 反射的・対称的・推移的な二項関係であり、集合を互いに素な同値類に分割するものです
  • 公理的集合論
    • Zermelo–Fraenkel set theory - ラッセルのパラドックスのような矛盾のない集合論を定式化するために 20 世紀初頭に提案された公理体系です
      • 順序数と基数
  • Type Theory - (集合論と同様に) 数学に対する代替的な基礎を提供する形式体系であり、型付き関数型プログラミングや証明支援系の基盤です
  • Proof Theory - 証明を形式的な数学的対象として表現し、数学的手法による分析を可能にする、数理論理学の主要な分野です
    • Sequent calculus - 定理を証明するための演繹体系です
    • Natural deduction - 論理的推論が「自然な」推論方法に密接に関連した推論規則によって表現される、証明計算の一種です
  • Computability Theory - 計算可能関数とチューリング次数の研究として 1930 年代に始まった、数理論理学、コンピュータサイエンス、計算理論の分野です
    • Lambda calculus - 関数の抽象化と適用に基づいて計算を表現するための、数理論理学における形式体系です
    • Turing machine - 規則の表に従ってテープ上の記号を操作する抽象機械を記述する、計算の数学的モデルです
  • Model Theory - 形式理論 (形式言語における文の集合) とそのモデル (文が真となる構造) との関係を研究する分野です
  • 論理学の応用
    • Constraint satisfaction problem - 状態がいくつかの制約や制限を満たさなければならない対象の集合として定義される数学的問題です
    • Satisfiability modulo theories - ある数学的な式が充足可能かどうかを判定する問題です
    • Automated theorem proving - コンピュータプログラムによって数学的定理を証明することを扱う、自動推論と数理論理学の一分野です
    • Formal verification - 数学の形式的手法を用いて、システムがある形式的仕様や性質に関して正しいかどうかを証明または反証する行為です
      • Hoare logic - コンピュータプログラムの正しさを厳密に推論するための、一連の論理規則を持つ形式体系です
  • 形式論理ツール
    • Stanford Encyclopedia of Philosophy - 世界中の哲学および関連分野の研究者を組織し、最新のコンテンツを作成・維持する参考資料です
    • SMT-LIB - テキストインターフェースを介して SMT ソルバーとやり取りするためのコマンド言語です
    • MiniZinc - 無料でオープンソースの制約モデリング言語です
    • P - 複雑な分散システムを形式的にモデル化・仕様化するための、状態機械ベースのプログラミング言語です
    • Lean - Calculus of Constructions に基づく対話型定理証明支援系兼プログラミング言語です

ドキュメンテーション​

Relevant DSS-P Skills
  • 3. テクノロジー > 3.1 ソフトウェア開発 > チーム開発
  • 5. パーソナルスキル > 5.1 ヒューマンスキル > コラボレーション
  • Technical writing - 指示、説明、解説を必要とする特定の主題について著者が執筆する文章の一種です
  • Divio Documentation System - すべてのドキュメントはその目的に応じてチュートリアル、ハウツーガイド、技術リファレンス、解説の 4 つの明確な種類に構造化されるべきだと提案するフレームワークです

アーキテクチャ文書​

  • 作図ツール
    • draw.io - 作図アプリケーションを構築するための技術スタックであり、世界で最も広く使われているブラウザベースのエンドユーザー向け作図ソフトウェアです
  • コードとしての作図
    • D2: Declarative Diagramming - テキストを図に変換する、モダンな図表記述言語です
    • Diagrams - Python コードでクラウドシステムアーキテクチャを描画するための Python パッケージです
    • PlantUML - シンプルなテキスト記述から図を作成できるツールです
    • Mermaid - Markdown にインスパイアされたテキスト定義をレンダリングして図を動的に作成・変更する、JavaScript ベースの作図・グラフ作成ツールです
    • Kroki - プレーンテキストの図を画像に変換する、無料でオープンソースのサービスです
    • Graphviz - オープンソースのグラフ可視化ソフトウェアです
      • DOT language - プレーンテキストのグラフ記述言語です
      • sfdp - 大規模な無向グラフに対して、辺の交差を最小化し節点の重なりを回避する、スケーラブルなマルチスケール力学的レイアウトエンジンです
      • haphviz - DOT 形式でグラフを表現・操作・整形出力するための Haskell ライブラリです
    • ditaa - アスキーアートで描かれた図を適切なビットマップグラフィックに変換できる、小さなコマンドラインユーティリティです
  • アーキテクチャ決定記録
    • Architectural Decision Records (ADRs) - 行われた重要なアーキテクチャ上の決定を、その背景と結果とともに記録する文書です
      • MADR (Markdown Architectural Decision Records) - アーキテクチャ上の決定を Markdown で記録するための簡潔なテンプレートであり、決定を書き留めてバージョン管理することをできるだけ容易にするものです
      • adr-tools - アーキテクチャ決定記録の管理を助けるコマンドラインツールです
      • Log4brains - 開発者が IDE から直接決定を記録し、静的サイトとして公開できるようにする、アーキテクチャ知識ベースです

軽量マークアップとライティングスタイル​

  • 軽量マークアップ
    • Markdown - プレーンテキストエディタを使って整形されたテキストを作成するための軽量マークアップ言語です
      • CommonMark - Markdown 構文を合理化したバージョンであり、仕様と、C 言語および JavaScript による BSD ライセンスのリファレンス実装を備えています
      • GFM (GitHub Flavored Markdown) - CommonMark 仕様に基づき、GitHub 独自の Markdown 方言の構文と意味を定義する正式な仕様です
        • github-markdown-css - GitHub 上でレンダリングされた Markdown をスタイリングする CSS です
      • markdownlint - Markdown/CommonMark ファイル向けの Node.js スタイルチェッカー兼リントツールです
      • Glow - ターミナルベースの Markdown リーダーです
      • mdterm - Rust で書かれたターミナルベースの Markdown ビューアであり、シンタックスハイライト、スタイル付きフォーマット、対話的なナビゲーションを備えて Markdown ファイルをレンダリングします
      • Grip - README ファイルを GitHub にプッシュする前にローカルでレンダリングするコマンドラインサーバーアプリケーションです
      • markmap - Markdown とマインドマップを組み合わせたものです
      • Marp - プレーンな Markdown で書ける、最もシンプルな Markdown プレゼンテーション作成ツールです
      • ガイド
        • Markdown Guide - Markdown の使い方を説明する、無料でオープンソースのリファレンスガイドです
    • DocUtils - プレーンテキストのドキュメントを HTML、LaTeX、man ページ、OpenDocument、XML などの有用な形式に変換するための、オープンソースのテキスト処理システムです
      • reStructuredText - 読みやすく WYSIWYG なプレーンテキストマークアップ構文とパーサーシステムです
    • Asciidoc - メモ、ドキュメント、記事、書籍、電子書籍、スライドショー、Web ページ、man ページ、ブログを書くための軽量マークアップ言語です
      • Asciidoctor - AsciiDoc コンテンツを HTML5、DocBook 5 (または 4.5)、その他の形式に変換するための、高速でオープンソースのテキストプロセッサ兼パブリッシングツールチェーンです
    • Org Mode - GNU Emacs 向けの執筆ツール兼 TODO リスト管理ツールです
      • nvim-orgmode - Lua で書かれた Neovim 向けの Org Mode クローンです
    • Wikitext - MediaWiki ソフトウェアがページを整形するために使用する構文とキーワードからなるマークアップ言語です
  • スタイルガイド
    • Microsoft Writing Style Guide - アプリやウェブサイトを含むさまざまな種類のコンテンツを作成する執筆者向けのガイドです
    • Google documentation style guide - ソフトウェア開発者などの技術的な読者に向けて、明確で一貫性のある技術文書を書くための編集ガイドラインです
    • Red Hat documentation style guide - Red Hat の製品文書や製品横断的なソリューション文書に対するスタイルガイドラインを提供するガイドです
    • Microsoft Terminology - 特定の言語に関する言語表現とスタイルの規則を定義するルール集です
    • List of English words - 46 万 6,000 語を超える英単語を含むテキストファイルです
  • 文章リンター
    • vale - 自然言語・文章向けのリンターです
    • retext - 拡張可能な自然言語処理系です
    • alex - 性差別的、対立を煽る、人種に関する、宗教に配慮を欠く、その他不平等な表現を文章中から見つけるのに役立つツールです
    • write-good - 素朴な英文リンターです
    • textlint - テキストや Markdown 向けのプラグイン可能なリントツールです

ドキュメンテーションツール​

  • 組版システム
    • Typst - LaTeX と同等の強力さを持ちながら、学習も使用もはるかに容易であるように設計された、新しいマークアップベースの組版システムです
    • Troff/Groff - 整形コマンドが混在したプレーンテキストを読み込み、整形済みの出力を生成する組版システムです
    • LaTeX - 高品質な組版システムであり、技術文書や科学文書の作成のために設計された機能を含んでいます
      • TexLive - TeX 組版システム向けの、クロスプラットフォームなフリーソフトウェアディストリビューションです
      • PGF/TikZ - グラフィックを生成するための TeX マクロパッケージです
    • KaTeX - Web 向けの最速の数式組版ライブラリです
      • sphinxcontrib-katex - KaTeX を使って Sphinx ドキュメント内の数式をレンダリングできるようにする Sphinx 拡張です
  • 検証と保守
    • lychee - Rust で書かれた高速な非同期リンクチェッカーです
  • コンバーター
    • Pandoc - 汎用のドキュメント変換ツールです
      • Eisvogel - Markdown ファイルを PDF や LaTeX に変換するための pandoc LaTeX テンプレートです

対人関係とチームリーダーシップ​

Relevant DSS-P Skills
  • 5. パーソナルスキル > 5.1 ヒューマンスキル > リーダーシップ
  • 5. パーソナルスキル > 5.1 ヒューマンスキル > コラボレーション

チームダイナミクスとコミュニケーション​

  • チームダイナミクス
    • Team building - チーム内の社会的関係を強化し役割を明確にするために使われる、さまざまな種類の活動の総称であり、しばしば協働タスクを伴います
    • Group dynamics - 社会集団の内部または集団間で生じる行動と心理的プロセスの体系です
    • 研究とモデル
      • Google Rework: Understand team effectiveness - 心理的安全性、信頼性、構造と明確さ、意義、影響力といった主要なダイナミクスが、成功する集団協働に不可欠であると特定した研究イニシアチブです
      • GRPI Model - チームの有効性を設計・診断するための基礎的なフレームワークであり、高パフォーマンスなチームの構成要素を目標、役割、プロセス、対人関係という 4 つの層に整理するものです
  • 対人コミュニケーション技法
    • Storytelling - 時に即興や演出、脚色を伴いながら物語を共有する社会的・文化的活動です
    • Facilitation - 成功する会議やワークショップを設計し進行する行為です
    • Active listening - 聞く準備を整え、どのような言語的・非言語的メッセージが発せられているかを観察し、提示されているメッセージへの注意を示すために適切なフィードバックを行う実践です
    • Negotiation - 相違点を解決し、個人または集団のために優位性を得たり、さまざまな利害を満足させる結果を作り出したりするための、2 者以上の間の対話です
  • 企業理念と価値観
    • Amazon's Leadership Principles - Amazon の従業員が日々の議論、意思決定、行動の指針として用いる中核的な信条の集合です
    • GitLab Values - 企業文化とチームメンバーの働き方を定義する指導原則の集合です
  • プロフェッショナル宣言
    • Manifesto for Software Craftsmanship - ソフトウェア開発における、質の高いソフトウェア、継続的な価値の追加、専門家コミュニティ、生産的なパートナーシップの重要性を強調する宣言です
  • フィードバックモデル
    • DESC feedback model - 行動を説明し、その影響を伝え、望む変化を明示し、結果を説明することによって建設的なフィードバックを行うためのコミュニケーションツールです

組織行動​

  • Stakeholder management - プロジェクトや事業によって影響を受ける個人や集団を特定し、その関心事や懸念を理解し、その期待や影響力を管理するプロセスです
  • Contingency theory - 企業を組織し、会社を率い、意思決定を行うための唯一最善の方法は存在しないとする理論であり、最適な行動方針は内的・外的状況に依存すると主張します
  • Holacracy - 分散型のマネジメントと組織統治の手法であり、権限と意思決定を管理階層に委ねるのではなく、自己組織化するチームのホラーキーを通じて分散させると主張します
  • Expectancy theory - 個人の行動はその行動から期待される結果によって動機づけられるとする理論であり、結果の望ましさが特定の行動の選択を決定するとします
  • Intrinsic motivation - 楽しさ、好奇心、達成感といった内的要因から生じる動機づけの一種であり、個人が活動そのもののためにその活動に取り組むことです
  • Management 3.0 - 組織を管理し業務システムを改善するのを助けるために設計された、常に進化し続けるマインドセットとゲーム・ツール・実践の集合です
  • PM Theory of Leadership - リーダーを成果志向型と維持志向型の 2 つのカテゴリーに分類するリーダーシップ理論です
  • Theory X and Theory Y - Douglas McGregor によって開発された、人間の労働意欲とマネジメントに関する理論です
  • Two-factor theory - 心理学者 Frederick Herzberg によって開発された理論であり、職務満足と不満足はそれぞれ独立に作用する動機づけ要因と衛生要因という別々の要因の組によって影響を受けると仮定します

リーダーシップスタイル​

  • Servant leadership - 個人の成功や従来型の階層的権威に焦点を当てるのではなく、責任者の第一の目的をチームメンバーのニーズを優先し、その成長とパフォーマンスを育むことに置くリーダーシップ哲学です
  • Shared leadership - 責任を広く分散させ、チームや組織内の個人が互いに主導し合えるようにするリーダーシップスタイルです
  • Situational leadership - 唯一普遍的に適切なアプローチは存在しないと認識し、効果的なリーダーがそれぞれの状況にスタイルを適応させるリーダーシップモデルです
  • Transformational leadership - リーダーが従業員に対し、会社の将来の成功を成長させ形作るイノベーションと変化を促すよう奨励し、鼓舞し、動機づけるリーダーシップスタイルです

個人の心理とパフォーマンス​

Relevant DSS-P Skills
  • 5. パーソナルスキル > 5.2 コンセプチュアルスキル > 適応力

個人のパフォーマンス​

  • メンタルヘルス
    • Mindfulness - 完全に今この瞬間に存在し、自分がどこにいて何をしているかを意識し、周囲で起きていることに過度に反応したり圧倒されたりしない、人間の基本的な能力です
      • Zen - 唐代の中国で生まれた大乗仏教の一派です
    • Flow - 何らかの活動を行っている人が、活動のプロセスに対するエネルギーに満ちた集中、完全な没入、楽しさの感覚に完全に浸っている精神状態です
    • Defence mechanism - 内的葛藤や外的ストレス要因に関連する不安を引き起こす思考や感情から自己を守る、無意識の心理的プロセスです
    • Psychological resilience - 危機に精神的・感情的に対処する能力、または危機前の状態に速やかに戻る能力です
    • Occupational burnout - うまく管理されなかった慢性的な職場ストレスに起因する、仕事に関連した現象です
  • 認知パフォーマンスと意思決定
    • Maslow's Hierarchy of Needs - 人間の行動を動機づける欲求 (または目標) の概念化です
    • Cognitive bias - 判断における規範や合理性からの逸脱の体系的なパターンです
      • Anchoring effect - 個人の判断や意思決定が、まったく無関係であり得る基準点すなわち「アンカー」に影響される心理現象です
    • Zeigarnik effect - 人が完了したタスクよりも未完了・中断されたタスクをよく記憶しているという現象です
    • Default mode network - 大規模な脳ネットワークであり、人が外の世界に集中しておらず脳が覚醒状態で休息しているときに活動することで知られています
    • Situation awareness - 環境とその要素、および時間やその他の要因に応じてそれがどのように変化するかについての理解です
      • 1: 環境内の要素の知覚
      • 2: 状況の把握または理解
      • 3: 将来の状態の予測
    • Vertical thinking - 合理的評価と外部データに依拠することが多い、選択的・分析的・逐次的であることを特徴とする問題解決アプローチです
    • Lateral thinking - 直接的には明らかでない推論を通じて、間接的で創造的なアプローチを用いて問題を解決する方法です
  • 関連する思想
    • Three Virtues - 優れたプログラマーの資質、すなわち怠惰・短気・傲慢です
  • 関連書籍

社会的パフォーマンス​

  • 社会心理学
    • Psychological safety - アイデアや質問、懸念、間違いを口にしても罰せられたり恥をかかされたりしないという信念です
    • Trust - 他者が期待通りのことをするという信念です
    • Collective intelligence - 多くの個人の協働、集団的努力、競争から生まれ、合意形成による意思決定に現れる、共有された、あるいは集団の知性です
    • Groupthink - 集団内の調和や同調への欲求が、不合理または機能不全な意思決定の結果をもたらす、人々の集団内で生じる心理現象です
    • Bystander effect - 他の人々が居合わせているとき、個人は被害者を助ける可能性が低くなるとする社会心理学の理論です
    • Dunbar's number - 人が安定した社会的関係を維持できる人数について提唱された認知的な限界です
    • Norm of reciprocity - 他者が自分にしてくれたことと同種のことを返すという社会的期待です
  • 具体例となる概念
    • Broken windows theory - 犯罪、反社会的行動、市民の秩序崩壊の目に見える兆候が、重大な犯罪を含むさらなる犯罪と秩序崩壊を助長する都市環境を作り出すとする犯罪学の理論です
    • Stone soup story - 空腹の見知らぬ人々が、食事を作るために町の人々それぞれに少量の食料を分けてもらうよう説得する、ヨーロッパの民話です
    • Boiling frog apologue - カエルがゆっくりと生きたまま茹でられる様子を描いた寓話です