Created
June 12, 2016 06:22
-
-
Save kurubushi--rm/5b657523315e4de7c518cab9d8c0f537 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "cells": [ | |
| { | |
| "cell_type": "code", | |
| "execution_count": 1, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [], | |
| "source": [ | |
| "from QCA import *" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 2, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "text/html": [ | |
| "<div>\n", | |
| "<table border=\"1\" class=\"dataframe\">\n", | |
| " <thead>\n", | |
| " <tr style=\"text-align: right;\">\n", | |
| " <th></th>\n", | |
| " <th>国名</th>\n", | |
| " <th>ネオ・コーポラティズムか</th>\n", | |
| " <th>政党の多様性</th>\n", | |
| " <th>所得のジニ係数</th>\n", | |
| " <th>都市化の程度</th>\n", | |
| " <th>社会運動発生数</th>\n", | |
| " </tr>\n", | |
| " </thead>\n", | |
| " <tbody>\n", | |
| " <tr>\n", | |
| " <th>0</th>\n", | |
| " <td>オーストリア</td>\n", | |
| " <td>Yes</td>\n", | |
| " <td>0.535</td>\n", | |
| " <td>16.7</td>\n", | |
| " <td>38</td>\n", | |
| " <td>2.8</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>1</th>\n", | |
| " <td>ベルギー</td>\n", | |
| " <td>Yes</td>\n", | |
| " <td>0.725</td>\n", | |
| " <td>7.7</td>\n", | |
| " <td>43</td>\n", | |
| " <td>17.5</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>2</th>\n", | |
| " <td>デンマーク</td>\n", | |
| " <td>Yes</td>\n", | |
| " <td>0.725</td>\n", | |
| " <td>4.4</td>\n", | |
| " <td>39</td>\n", | |
| " <td>2.2</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>3</th>\n", | |
| " <td>フィンランド</td>\n", | |
| " <td>Yes</td>\n", | |
| " <td>0.803</td>\n", | |
| " <td>16.6</td>\n", | |
| " <td>19</td>\n", | |
| " <td>0.0</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>4</th>\n", | |
| " <td>西ドイツ</td>\n", | |
| " <td>Yes</td>\n", | |
| " <td>0.582</td>\n", | |
| " <td>9.7</td>\n", | |
| " <td>48</td>\n", | |
| " <td>17.5</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>5</th>\n", | |
| " <td>日本</td>\n", | |
| " <td>Yes</td>\n", | |
| " <td>0.586</td>\n", | |
| " <td>23.1</td>\n", | |
| " <td>47</td>\n", | |
| " <td>3.1</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>6</th>\n", | |
| " <td>オランダ</td>\n", | |
| " <td>Yes</td>\n", | |
| " <td>0.830</td>\n", | |
| " <td>0.3</td>\n", | |
| " <td>43</td>\n", | |
| " <td>5.2</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>7</th>\n", | |
| " <td>ノルウェー</td>\n", | |
| " <td>Yes</td>\n", | |
| " <td>0.720</td>\n", | |
| " <td>14.8</td>\n", | |
| " <td>22</td>\n", | |
| " <td>33.5</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>8</th>\n", | |
| " <td>スウェーデン</td>\n", | |
| " <td>Yes</td>\n", | |
| " <td>0.693</td>\n", | |
| " <td>14.7</td>\n", | |
| " <td>25</td>\n", | |
| " <td>9.4</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>9</th>\n", | |
| " <td>オーストラリア</td>\n", | |
| " <td>No</td>\n", | |
| " <td>0.625</td>\n", | |
| " <td>4.3</td>\n", | |
| " <td>57</td>\n", | |
| " <td>14.5</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>10</th>\n", | |
| " <td>カナダ</td>\n", | |
| " <td>No</td>\n", | |
| " <td>0.616</td>\n", | |
| " <td>9.8</td>\n", | |
| " <td>45</td>\n", | |
| " <td>19.5</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>11</th>\n", | |
| " <td>フランス</td>\n", | |
| " <td>No</td>\n", | |
| " <td>0.668</td>\n", | |
| " <td>15.8</td>\n", | |
| " <td>26</td>\n", | |
| " <td>8.3</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>12</th>\n", | |
| " <td>アイルランド</td>\n", | |
| " <td>No</td>\n", | |
| " <td>0.624</td>\n", | |
| " <td>12.0</td>\n", | |
| " <td>27</td>\n", | |
| " <td>49.4</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>13</th>\n", | |
| " <td>イタリア</td>\n", | |
| " <td>No</td>\n", | |
| " <td>0.734</td>\n", | |
| " <td>23.1</td>\n", | |
| " <td>24</td>\n", | |
| " <td>10.4</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>14</th>\n", | |
| " <td>イギリス</td>\n", | |
| " <td>No</td>\n", | |
| " <td>0.507</td>\n", | |
| " <td>1.3</td>\n", | |
| " <td>59</td>\n", | |
| " <td>11.2</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>15</th>\n", | |
| " <td>アメリカ</td>\n", | |
| " <td>No</td>\n", | |
| " <td>0.491</td>\n", | |
| " <td>3.1</td>\n", | |
| " <td>62</td>\n", | |
| " <td>73.0</td>\n", | |
| " </tr>\n", | |
| " </tbody>\n", | |
| "</table>\n", | |
| "</div>" | |
| ], | |
| "text/plain": [ | |
| " 国名 ネオ・コーポラティズムか 政党の多様性 所得のジニ係数 都市化の程度 社会運動発生数\n", | |
| "0 オーストリア Yes 0.535 16.7 38 2.8\n", | |
| "1 ベルギー Yes 0.725 7.7 43 17.5\n", | |
| "2 デンマーク Yes 0.725 4.4 39 2.2\n", | |
| "3 フィンランド Yes 0.803 16.6 19 0.0\n", | |
| "4 西ドイツ Yes 0.582 9.7 48 17.5\n", | |
| "5 日本 Yes 0.586 23.1 47 3.1\n", | |
| "6 オランダ Yes 0.830 0.3 43 5.2\n", | |
| "7 ノルウェー Yes 0.720 14.8 22 33.5\n", | |
| "8 スウェーデン Yes 0.693 14.7 25 9.4\n", | |
| "9 オーストラリア No 0.625 4.3 57 14.5\n", | |
| "10 カナダ No 0.616 9.8 45 19.5\n", | |
| "11 フランス No 0.668 15.8 26 8.3\n", | |
| "12 アイルランド No 0.624 12.0 27 49.4\n", | |
| "13 イタリア No 0.734 23.1 24 10.4\n", | |
| "14 イギリス No 0.507 1.3 59 11.2\n", | |
| "15 アメリカ No 0.491 3.1 62 73.0" | |
| ] | |
| }, | |
| "execution_count": 2, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "case_table = pd.read_csv('社会運動１６カ国データ1963-1967.csv')\n", | |
| "case_table" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 3, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "text/html": [ | |
| "<div>\n", | |
| "<table border=\"1\" class=\"dataframe\">\n", | |
| " <thead>\n", | |
| " <tr style=\"text-align: right;\">\n", | |
| " <th></th>\n", | |
| " <th>政党の多様性</th>\n", | |
| " <th>所得のジニ係数</th>\n", | |
| " <th>都市化の程度</th>\n", | |
| " <th>社会運動発生数</th>\n", | |
| " </tr>\n", | |
| " </thead>\n", | |
| " <tbody>\n", | |
| " <tr>\n", | |
| " <th>count</th>\n", | |
| " <td>16.000000</td>\n", | |
| " <td>16.000000</td>\n", | |
| " <td>16.000000</td>\n", | |
| " <td>16.00000</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>mean</th>\n", | |
| " <td>0.654000</td>\n", | |
| " <td>11.087500</td>\n", | |
| " <td>39.000000</td>\n", | |
| " <td>17.34375</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>std</th>\n", | |
| " <td>0.100354</td>\n", | |
| " <td>7.221161</td>\n", | |
| " <td>13.880442</td>\n", | |
| " <td>19.53100</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>min</th>\n", | |
| " <td>0.491000</td>\n", | |
| " <td>0.300000</td>\n", | |
| " <td>19.000000</td>\n", | |
| " <td>0.00000</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>25%</th>\n", | |
| " <td>0.585000</td>\n", | |
| " <td>4.375000</td>\n", | |
| " <td>25.750000</td>\n", | |
| " <td>4.67500</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>50%</th>\n", | |
| " <td>0.646500</td>\n", | |
| " <td>10.900000</td>\n", | |
| " <td>41.000000</td>\n", | |
| " <td>10.80000</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>75%</th>\n", | |
| " <td>0.725000</td>\n", | |
| " <td>16.000000</td>\n", | |
| " <td>47.250000</td>\n", | |
| " <td>18.00000</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>max</th>\n", | |
| " <td>0.830000</td>\n", | |
| " <td>23.100000</td>\n", | |
| " <td>62.000000</td>\n", | |
| " <td>73.00000</td>\n", | |
| " </tr>\n", | |
| " </tbody>\n", | |
| "</table>\n", | |
| "</div>" | |
| ], | |
| "text/plain": [ | |
| " 政党の多様性 所得のジニ係数 都市化の程度 社会運動発生数\n", | |
| "count 16.000000 16.000000 16.000000 16.00000\n", | |
| "mean 0.654000 11.087500 39.000000 17.34375\n", | |
| "std 0.100354 7.221161 13.880442 19.53100\n", | |
| "min 0.491000 0.300000 19.000000 0.00000\n", | |
| "25% 0.585000 4.375000 25.750000 4.67500\n", | |
| "50% 0.646500 10.900000 41.000000 10.80000\n", | |
| "75% 0.725000 16.000000 47.250000 18.00000\n", | |
| "max 0.830000 23.100000 62.000000 73.00000" | |
| ] | |
| }, | |
| "execution_count": 3, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "case_table.describe()" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 4, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [], | |
| "source": [ | |
| "case_table = binarize(case_table,\n", | |
| " ['政党の多様性','所得のジニ係数','都市化の程度','社会運動発生数'], \n", | |
| " ['0.646500','10.900000','41.000000','10.80000']) #中央値を閾値に" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 5, | |
| "metadata": { | |
| "collapsed": false, | |
| "scrolled": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "text/html": [ | |
| "<div>\n", | |
| "<table border=\"1\" class=\"dataframe\">\n", | |
| " <thead>\n", | |
| " <tr style=\"text-align: right;\">\n", | |
| " <th></th>\n", | |
| " <th>国名</th>\n", | |
| " <th>ネオ・コーポラティズムか</th>\n", | |
| " <th>政党の多様性</th>\n", | |
| " <th>所得のジニ係数</th>\n", | |
| " <th>都市化の程度</th>\n", | |
| " <th>社会運動発生数</th>\n", | |
| " </tr>\n", | |
| " </thead>\n", | |
| " <tbody>\n", | |
| " <tr>\n", | |
| " <th>0</th>\n", | |
| " <td>オーストリア</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>1</th>\n", | |
| " <td>ベルギー</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>2</th>\n", | |
| " <td>デンマーク</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>3</th>\n", | |
| " <td>フィンランド</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>4</th>\n", | |
| " <td>西ドイツ</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>5</th>\n", | |
| " <td>日本</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>6</th>\n", | |
| " <td>オランダ</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>7</th>\n", | |
| " <td>ノルウェー</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>8</th>\n", | |
| " <td>スウェーデン</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>9</th>\n", | |
| " <td>オーストラリア</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>10</th>\n", | |
| " <td>カナダ</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>11</th>\n", | |
| " <td>フランス</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>12</th>\n", | |
| " <td>アイルランド</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>13</th>\n", | |
| " <td>イタリア</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>14</th>\n", | |
| " <td>イギリス</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>15</th>\n", | |
| " <td>アメリカ</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " </tr>\n", | |
| " </tbody>\n", | |
| "</table>\n", | |
| "</div>" | |
| ], | |
| "text/plain": [ | |
| " 国名 ネオ・コーポラティズムか 政党の多様性 所得のジニ係数 都市化の程度 社会運動発生数\n", | |
| "0 オーストリア 0 0 1 0 0\n", | |
| "1 ベルギー 0 1 0 1 1\n", | |
| "2 デンマーク 0 1 0 0 0\n", | |
| "3 フィンランド 0 1 1 0 0\n", | |
| "4 西ドイツ 0 0 0 1 1\n", | |
| "5 日本 0 0 1 1 0\n", | |
| "6 オランダ 0 1 0 1 0\n", | |
| "7 ノルウェー 0 1 1 0 1\n", | |
| "8 スウェーデン 0 1 1 0 0\n", | |
| "9 オーストラリア 1 0 0 1 1\n", | |
| "10 カナダ 1 0 0 1 1\n", | |
| "11 フランス 1 1 1 0 0\n", | |
| "12 アイルランド 1 0 1 0 1\n", | |
| "13 イタリア 1 1 1 0 0\n", | |
| "14 イギリス 1 0 0 1 1\n", | |
| "15 アメリカ 1 0 0 1 1" | |
| ] | |
| }, | |
| "execution_count": 5, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "case_table = binarize_rep(case_table,'ネオ・コーポラティズムか',['Yes','No'])\n", | |
| "case_table" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 6, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "text/html": [ | |
| "<div>\n", | |
| "<table border=\"1\" class=\"dataframe\">\n", | |
| " <thead>\n", | |
| " <tr style=\"text-align: right;\">\n", | |
| " <th></th>\n", | |
| " <th>N</th>\n", | |
| " <th>A</th>\n", | |
| " <th>B</th>\n", | |
| " <th>C</th>\n", | |
| " <th>D</th>\n", | |
| " <th>M</th>\n", | |
| " </tr>\n", | |
| " </thead>\n", | |
| " <tbody>\n", | |
| " <tr>\n", | |
| " <th>0</th>\n", | |
| " <td>オーストリア</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>1</th>\n", | |
| " <td>ベルギー</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>2</th>\n", | |
| " <td>デンマーク</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>3</th>\n", | |
| " <td>フィンランド</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>4</th>\n", | |
| " <td>西ドイツ</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>5</th>\n", | |
| " <td>日本</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>6</th>\n", | |
| " <td>オランダ</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>7</th>\n", | |
| " <td>ノルウェー</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>8</th>\n", | |
| " <td>スウェーデン</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>9</th>\n", | |
| " <td>オーストラリア</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>10</th>\n", | |
| " <td>カナダ</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>11</th>\n", | |
| " <td>フランス</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>12</th>\n", | |
| " <td>アイルランド</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>13</th>\n", | |
| " <td>イタリア</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>14</th>\n", | |
| " <td>イギリス</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>15</th>\n", | |
| " <td>アメリカ</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " </tr>\n", | |
| " </tbody>\n", | |
| "</table>\n", | |
| "</div>" | |
| ], | |
| "text/plain": [ | |
| " N A B C D M\n", | |
| "0 オーストリア 0 0 1 0 0\n", | |
| "1 ベルギー 0 1 0 1 1\n", | |
| "2 デンマーク 0 1 0 0 0\n", | |
| "3 フィンランド 0 1 1 0 0\n", | |
| "4 西ドイツ 0 0 0 1 1\n", | |
| "5 日本 0 0 1 1 0\n", | |
| "6 オランダ 0 1 0 1 0\n", | |
| "7 ノルウェー 0 1 1 0 1\n", | |
| "8 スウェーデン 0 1 1 0 0\n", | |
| "9 オーストラリア 1 0 0 1 1\n", | |
| "10 カナダ 1 0 0 1 1\n", | |
| "11 フランス 1 1 1 0 0\n", | |
| "12 アイルランド 1 0 1 0 1\n", | |
| "13 イタリア 1 1 1 0 0\n", | |
| "14 イギリス 1 0 0 1 1\n", | |
| "15 アメリカ 1 0 0 1 1" | |
| ] | |
| }, | |
| "execution_count": 6, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "case_table.columns = list('NABCDM')\n", | |
| "case_table" | |
| ] | |
| }, | |
| { | |
| "cell_type": "markdown", | |
| "metadata": {}, | |
| "source": [ | |
| "|記号|条件|\n", | |
| "|----|-----|\n", | |
| "|A a|コーポラティズムの度合い（A：低い、a：高い)|\n", | |
| "|B b|議会における政党の多様性（B：大きい、b：小さい)|\n", | |
| "|C c|所得の不平等（C：大きい、c：小さい)|\n", | |
| "|D d|都市化の程度の度合い（D：高い、d：低い)|" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 7, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "text/html": [ | |
| "<div>\n", | |
| "<table border=\"1\" class=\"dataframe\">\n", | |
| " <thead>\n", | |
| " <tr style=\"text-align: right;\">\n", | |
| " <th></th>\n", | |
| " <th>A</th>\n", | |
| " <th>B</th>\n", | |
| " <th>C</th>\n", | |
| " <th>D</th>\n", | |
| " <th>M_cases</th>\n", | |
| " <th>all_cases</th>\n", | |
| " <th>M</th>\n", | |
| " </tr>\n", | |
| " </thead>\n", | |
| " <tbody>\n", | |
| " <tr>\n", | |
| " <th>0</th>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>NaN</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>1</th>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1.000000</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>2</th>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0.000000</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>3</th>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0.000000</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>4</th>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0.000000</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>5</th>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>2</td>\n", | |
| " <td>0.500000</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>6</th>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>3</td>\n", | |
| " <td>0.333333</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>7</th>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>NaN</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>8</th>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>NaN</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>9</th>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>4</td>\n", | |
| " <td>4</td>\n", | |
| " <td>1.000000</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>10</th>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1.000000</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>11</th>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>NaN</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>12</th>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>NaN</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>13</th>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>NaN</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>14</th>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>2</td>\n", | |
| " <td>0.000000</td>\n", | |
| " </tr>\n", | |
| " <tr>\n", | |
| " <th>15</th>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>1</td>\n", | |
| " <td>0</td>\n", | |
| " <td>0</td>\n", | |
| " <td>NaN</td>\n", | |
| " </tr>\n", | |
| " </tbody>\n", | |
| "</table>\n", | |
| "</div>" | |
| ], | |
| "text/plain": [ | |
| " A B C D M_cases all_cases M\n", | |
| "0 0 0 0 0 0 0 NaN\n", | |
| "1 0 0 0 1 1 1 1.000000\n", | |
| "2 0 0 1 0 0 1 0.000000\n", | |
| "3 0 0 1 1 0 1 0.000000\n", | |
| "4 0 1 0 0 0 1 0.000000\n", | |
| "5 0 1 0 1 1 2 0.500000\n", | |
| "6 0 1 1 0 1 3 0.333333\n", | |
| "7 0 1 1 1 0 0 NaN\n", | |
| "8 1 0 0 0 0 0 NaN\n", | |
| "9 1 0 0 1 4 4 1.000000\n", | |
| "10 1 0 1 0 1 1 1.000000\n", | |
| "11 1 0 1 1 0 0 NaN\n", | |
| "12 1 1 0 0 0 0 NaN\n", | |
| "13 1 1 0 1 0 0 NaN\n", | |
| "14 1 1 1 0 0 2 0.000000\n", | |
| "15 1 1 1 1 0 0 NaN" | |
| ] | |
| }, | |
| "execution_count": 7, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "true_table = CT2TT(case_table, list('ABCD') , 'M', 1)\n", | |
| "true_table" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 8, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "image/png": "iVBORw0KGgoAAAANSUhEUgAAAL0AAAAUCAYAAADYxDwWAAAABHNCSVQICAgIfAhkiAAABb5JREFU\naIHt2nvsHFUVB/BPSwVqg5RHQaWUYnm1jRSDEQJYysOGhERCIQQSEEkTiwKhoIRgRMSoKBFJgECg\nUBYDFCggQsIrIsGCUBNNeAr9mahEEXxSqlWLUP44d/3dTnZnZ2b39yOU/SabmbnnnHvv+Z6793Fm\nGGKIIUpxOb5ZUXcuLsUq/AQrsQy7YwJuwqF4Chvxwxr9+AFeTnaH1bAbK1ThZSWeFX1eh4fxYPo9\niefwZWxRsGvK0buBpj5Wxbhz8Um8heU99D4kBvfLOBlbZbJpuBs34sVUNgX/wxdq9udM/BeTa9oN\nGlV5gf1EwL7VQTYPa3BXB1lTjt4NNPWxKsaNi4l4RDhzf4ne7ngBP8cOXXT2SfVclZ6PTM+za/bp\nNjxe02ZfTKppU4aqvLRxVtI9oov84CQ/uVDelKO6GAQ/TX2sivHiwun4IjbgV110tsdLGMF2Pep7\nEcem+4vxF7HlqYM/4ts1bVqYWdOmDFV4yXFn0v1gic4aPFooa8pRXbT0z09TH6tiXLiYJmazifgD\nXumit0L5PzzHKkxN94/iRzX7NCu1tbCmXcvgBn1VXnK8Jva2ZXgcfy+UNeGoCVr656epj1XRNxdV\nlrLv4et4Wzg0TwT67UznAJwoBvMjFeq8Cq/jA8l2OS5Lsn2xFM9n+odjCX4n/izPin3dExXaGitU\n4SXHbOwkBlYZtsfW2XNVjj4uDolv4N/ivPMd/KeKMwNCUx8ZjfHvjU4oS8WZqY1x4eJgkWVp434x\nw+5c0Ls2lZ9apdIMByW7+4RDcC5+bXT5WiwG1fT0PAPr9Z5NOqFlMDN9VV5yLEk6R5fobCm2BiNZ\nWRWOThArzbz0PF9kT47p4UcRLf3x09THYoxnigH6UMF2zLmYJJahj2Rly1Oj8wq6I6l8uno4Xyxz\n+f5vUaprbmrnTZxUsPsrvluzLQYz6OvwkuNWkeXZtkRnQapnWVbWi6NPiJnsc5n8s/il+vFo6Y+f\nJj6WxfhrhbKBcDGxpHNn4R78KSt7LV0/XNCdjn+JvW0v7JndzxdbovVZ2a7pOkUcVNeJw1Ebc0Rm\n6LEKbY0F6vCSYz6ewdoSnUXpemvBroyjS1P7t2Tye7G/avEYJJr42CnGs0WMV3Wov28uuu3pP4qv\niGXjyKx8t3QtBnet7nvZHBNxtsixw4Fir5XjQDFbjOAokdN9M5MvSPKydOVNOs+6M/ApsbwWsVjM\nCGWoy0sbs7CL8vz0NjgFP7NpZqOMo9+KxME16bkqxoKfJj5O1T3GG7C6YD8WXPwfK8TBoojjxFJy\nfqH8ntTpKT3qPQOHpPsdU13zM/kWIh31gDjAbBSHlBwr8Yt0/7Ee7RXR0t/yXZeXNk5L8kVd5HCJ\nOHjtkZX14uiAJD+tQt+roKU5P0187Bbj241Oau0YD4yLTtubI/A3/LSDrL1EFGe0y1Jdi0va+ozY\n67WdWZ86+Wqmc7w42V8kyCHe7LYxWbyKbm9tzi5pb9Bowksbh6Zrcblu4zixbToBv8nKe3H051S2\nrkOdc/DpLu2NBZr42C3GC8QLTkZjPGZc7J06sE0X+czU8IoOsqX4p1i+8j/TDrgQ53WwedjoqXqX\n1PFz0vMEPC1O58Rp/UaxlVoiUmNf7eZIF7Q0m8n64WWCSLW+0EE2TUwYIyIj1AllHLXlVxRsFuJq\noxmOqmhpxk9THzvF+AYR4y+J2f3CTH8gXLTTPLNws1huJomc50KbvnD5sfiuYoZIJ60WueoHMp2D\nxOCfJU7f68QseJ3OhMzA98Xb1T3Eif7eTL6X+JhrjVjKrhTEnSpmi/Zpvipa+IYIUBX0w8tzIqsz\nXXx6sTbJNia7LdPvDlxv08NZjl4cTRWB3oB/iG+dnrLpYbgqWurxs6v+fewW48+LP8oFYiwxvlxs\nNmgZ7GcImxta3gf8lKUsN0e8YXzfUL7XMORniCGGGGKIIYYY4r2HdwAcI968W7U51gAAAABJRU5E\nrkJggg==\n", | |
| "text/latex": [ | |
| "$$A C b d + A D b c + D a b c$$" | |
| ], | |
| "text/plain": [ | |
| "A⋅C⋅b⋅d + A⋅D⋅b⋅c + D⋅a⋅b⋅c" | |
| ] | |
| }, | |
| "execution_count": 8, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "table2bool(true_table,list('ABCD'),'M',1)" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 9, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "image/png": "iVBORw0KGgoAAAANSUhEUgAAAGsAAAAUCAYAAACKy8MYAAAABHNCSVQICAgIfAhkiAAABI5JREFU\naIHt2HmoVVUUBvCfZpaJZZaNasOzQSUtihQrtSwJgiINKahEhCxKtIkgaKRRsqCkKEOfURnZYAYa\nkknZYEFBWWa+oJAmm82y0tL+WPvmead7z73nPaGw98HlnrOGvdfaw9rf2XRgh8U9uLlB20GYjuV4\nEfMxC4egE+ZiJFZgKx4pEcfdWJv8Ti7h117Mx8rU7wYswQvp9wbex5XYKefX1jzbjOPwJ2bXsdtd\nTMpanI9dMrreeAZzsDrJuuMPXFQynsvwO7qV9GsvjhaDfksV3RCswdNVdG3NszQ6Y6kIclGB3SFY\nhdexVw2bI1M7M9P7qel9QMmYnsCrJX0Go0tJnzymiHhH19CfkPTn5+RtzbM0LsYl2IR3atj0wkdo\nwZ512luNs9PzTfhGlMYy+By3lvRpxsElffJ4SozDbgU2a7AsJ2trnqXQW+yqzvgMX9Swm6d4xWWx\nHD3T8zI8WzKmptTXmJJ+zdo/WevE+VSEV/F9TtaWPFuhkZJwJ67HFhHoEDFxWzI2Q3GumISlDbQ5\nEz9i5+Q7GzOSbjCm4YOM/SmYjE/FJK8U9f+1BvranhiAfcSkF6EXds28N5rnUYKg/IRfxZl8G35r\nJLgTBGurYJFY0fvm7B5M8gmNNJrB8OT3vEgIrsCHtpWLSWKR9Env/bBR/dVdDc3at7Mmi3jPKLDp\nKspkS0bWSJ7jRdUakt5HCMZ5ViOBdRHbef+MbHbqdEjOtiXJ+yiHa0S5yNb/samtQamfzTgv5/ct\n7ijZF+2frMcFI96jwGaUiH9WRlYvz2PELrowoz8Tb8uMaeeCTqdgAb7MyNal//1ytn3wizjT6uGw\nzPMIUTo3ZmR90393QSA2iEO9goGCab7cQF/bGyPwHtYX2IxN/4/n/IrynC7G9rGMfiGOlRnTWmfW\nAbhKbNNTM/KD0n9+stZrfYbVQmdMFd9IMEzU5CyGidXbgtPFN8vmjH5U0hfR9rn+ufuJEnq8KFN5\nTBIruRaacKDq31AV9MAFeEVrNliU5yeClD2Q3ktjnjjU8xgntu41OfkCMaDd67R7KU5Mz3untkZk\n9DsJertYfIRvFYdwFvPxVno+tE5/eTRrexmcmOIZW2BzuyAH/TOyenkOTfqJ9QKoVgZH4zu8VEVX\n2ZL5nTUjtTWpoK/TRK2v7IiNKcivMjbnCCZ1g0iauAmpoJu4uqmUwKkF/W1vjEz/y2vox4mjYzw+\nzsjr5fl1km2o0uZAnFQroCPE4PSooT84dTyvim4afhZlILsI9sJ1uLqKzxLb2M6BKfDL03snvCtY\nE8Gi5oiSO1lQ6GtrJVIDzdq2szqJz4ZVVXS9xWJtEey5GoryrOjvzfmMwf22sce/aWMTHhWlp4vg\n/mO0/gB+TtyL9RO8/03xDbY4YzNcTFqTYGwbxG58qEai/XCXuI3oLxjUwoz+cHF5vEaUjvvEgEwQ\nq7fCshpFM24UA98I+goG3Edck60XeW9N+q7p9yQe1ppAZFEvz55isjbhB3GfukJrkvK/Q7P232D8\nayii7jsiftLgbUAHOtCBDnTgP4e/AFQkGpT1Yp1rAAAAAElFTkSuQmCC\n", | |
| "text/latex": [ | |
| "$$A C b d + D b c$$" | |
| ], | |
| "text/plain": [ | |
| "A⋅C⋅b⋅d + D⋅b⋅c" | |
| ] | |
| }, | |
| "execution_count": 9, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "simplify_bool(_)" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 10, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "image/png": "iVBORw0KGgoAAAANSUhEUgAAAG0AAAAUCAYAAACH1bNfAAAABHNCSVQICAgIfAhkiAAABQlJREFU\naIHt2XusX1MWB/BPr3qWmSo14tEpRR9S12Rk2hStuUqGCvEWqVcar3gVM5FMZghRgjBS75iMW+IR\npYp4lXrVKxJkBvUoCTUeM+JRRjvVav2x9i939/id8/sdt4LkfpOb/dtrr73O2nvtvdb3nEsfftaY\ngOewEje20O3COjVs/w3ntam7PS7GPDyCmbgeW6EfZmDTkrmXYaFYw+9r+NdbzMTL6blfYg4eTH/P\n4hWciTVq2Fwbe7ejOADLcVyFThcOqvHwnfAN/tFC7xciOAsxWTjdwGDMwg14vYWdk7EU69bwcXVg\nRxG085uMdeJN3FnT5rHYp5XSxPTgkSXj6+PWGg/twNxk8/4Kva0wH89goxKdEcnOlS2eeRuequEj\n7ID+NecUcYrwb/eS8Z3T+OSadmcp3xNwLj4WaahsvGXkM5yAE/E1XizRGYQ3sAAbtrD3OvZvofM+\nptXwEboxtOacIu4Q61yvQudNPFbT7iRcUKXwGO6qGJ+v/bw8WNyyDvwbH5To3ar6hOaYh4EV48OS\nrT3b9LGBbr0P2n9E/arCU/i0pt018bbsIvUvDI4RtefSJNsBU/EqRuNDUZ/awUU4GyvEgjpFAFdk\nOmNwmAjG3DZsXonPs34Xjsc7Ipgvi5r8dJs+ri6MxCYi+FUYpDmBGy2IyhdYImryBfg/luE9UTNf\nKk4cJ07pvSKAcAZeE1GejGvbXMTOguU1cH+y/auC3nVJflSbdnNMEYdhi9QfgsVan/Zm6Na7m3a8\nWMekCp21RPpcUJAfIrJQZ+qPFwx0v0znBhzZ6OQ3bVd8hkNFdIkTPAKjRLpb1MYC+otbdnAm+yi1\nm4qNbqArte3cshyd4gAdKVIvwToX44matlYHJogMUkWAxonL8Hgm+w1uEizxn0k2UNS+FzK9T2UH\nviMbGC/S1OJMtmVqBwgKvryNBZyC2SKVNtAIVPH9agt8pWfjq7Bt9nuaOI13ZLJRgmX9GEEbj3+p\nPtQHpPaWTHax2JubM9k9+K1V92SpjEvkN22s77KUsaKGLRD1bUgL5zfDH0VKnZjJf53aYtAWWbXG\nlaEDp4l3sIH4g3jnWZbp7JZ8rTrtM/SkoRxD8DuRvoqYYtVTX8QwbK76HWwDHIEn9bDHwYJ8XaM1\nTxgkyMgq2Fjk5PGZbA1B/x9I/YktHCOYYFcT+YHJ/lkF+Wyx8QNa2D0Ju6TfOyVbUws6M/F8+r11\nC3tFdPv+Ne2Y5M8BFToXCpKxTSYbk+Yd08YzZsnYdSM9Lk4GPsoUDxIRPif1nxa3rQy74xM82mSs\ncdWLN+3S5MOUCrt74Jd6btAXqV2Y6awr6kojNZ5WYW91Y0Jq55WMHyhKxiF4K5P/N7VfNpkzSnCM\nBkYrYcRz9DCWzZPR0ws6szG8ydzhYhM3KHF8qDgUzb6mTMX/RPrIa+xG+Cv+VNDvJ4r2Gam/pmBX\niwSL2wR/LvGjDN2+303rJ8ja/CZjg8WhXCDYdDPMwfSCbE9crYfBjxA3rSmG4Hbxcfde7NtEpxNX\nZP1hgmIvE0F5RdS1HHfj3TS+RLCnvQo649KzX8BDgmBcLk5cM2yH+5Kv0wVJOVrUi+tFhqiDbvWC\ntiUeFrV7pXh3fEjPR+JHRWY4VfUXkoHi4/zfcYlYy+EFnas0r8O1ME35Zv5c0a33X0R+CIwUwew1\n+uEv6v1r5qeO6cr/3fNjYS3BJzpaKfahD33oQx/AtwKJElYltPODAAAAAElFTkSuQmCC\n", | |
| "text/latex": [ | |
| "$$b \\left(A C d + D c\\right)$$" | |
| ], | |
| "text/plain": [ | |
| "b⋅(A⋅C⋅d + D⋅c)" | |
| ] | |
| }, | |
| "execution_count": 10, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "R = simplify(_)\n", | |
| "R" | |
| ] | |
| }, | |
| { | |
| "cell_type": "markdown", | |
| "metadata": {}, | |
| "source": [ | |
| "### 相対的剥奪論のブール式表現" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 11, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "image/png": "iVBORw0KGgoAAAANSUhEUgAAABIAAAASCAYAAABWzo5XAAAABHNCSVQICAgIfAhkiAAAAPBJREFU\nOI3l0y9Lw1EUxvGPKwuCcw6bRWQg7AWIYhNfgGlFWTAatiImq23NogZtNvE1qPgSxLEiYjAI/gUR\ng4bdMMbu/f1A20669zzP/T6HC4d/qrEMvYYGFvGFZ7xgD3c4wQ4eY4AJHOEe6yj2adM4wzFuU1PM\n4gbXqEQ88/jBfgwyhQ66KKfSwjRrMfE0JK1kQOASk8OEhQC5yAGBekw4CKBGTlC0ugE081fQJz5y\nequDjULf+RVvOSAFNFOGc3xjPAO0heXURO1w30xAVlHCVUaYlt4/bQyEVLCL7djDYUu7FIBzeMI7\nHnCotzqjVr9yKCtFGSYhbwAAAABJRU5ErkJggg==\n", | |
| "text/latex": [ | |
| "$$C$$" | |
| ], | |
| "text/plain": [ | |
| "C" | |
| ] | |
| }, | |
| "execution_count": 11, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "H1 = sympify('C')\n", | |
| "H1" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 12, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "image/png": "iVBORw0KGgoAAAANSUhEUgAAAHsAAAAUCAYAAACtZULwAAAABHNCSVQICAgIfAhkiAAABSJJREFU\naIHt2XmsXVMUBvBfX2usoUoRpYaaWqlHiErLK22JKURbJVJTGkrMUyRiSMUQxJAqKoSHUFGeIoqa\n1RQJYqrqI6FmYqhSQ2n9sfbNO72999xz37tSkvclN+fsvdde57t777X2t8+hG91I2AFXYQ6exgzc\nii3RA3diBF7DMtxVw99IrF7H86/DJQ3kunFO/2uxQPyPvevg2FXMwLvpuYswG0+k36t4D2ejZx0+\nV8MBRY3XEQO1ABNS5xL6oQ13YF6q642/cEKOz5EYV5yvXfE3bm8w1zycgj+wRh08G4GdxGRfWqGt\nGfPxYJ0+j8dBtYy2xFy8gvWr2GyfyE1N5dGpPKiK/VqYXgfRJjyTfM5qMNc83IeXitO0I3rVYV8N\npwqOo6q0D0/tE+r026b6uOiLD9GO9Wo4modD0/1kfCfSZSVMVmCVZXAiTsKfeLPBXPPwBS4ryBFa\nsUUd9tXwgPiva+bYzMdzdfo9EJdXa5wuf4VlMQd90v1zeCjHdq7ie04/EdVN+BxfVrHrLNdqGJj8\n7VuMJho32d+I/TkPL+GHOv2ugo+lIMymoKE4QgzMMwUcTcVPyeFQsbdek9p2xBl4H0Pwldh/i+BK\nXISlYhCaxcQvbQDXLEZiEj4RC+FdoTteLsizURiEDcXCyUNfK4rbIUK8/YzfhN64HL+n9iX4TGiC\nt7IdbxEr+5g6yQ5L/R4VEw9n4QOxoiZgWkFfw4VqLmFW8r1RmV1nuZYwUSykTVN5ABarHV3laNX1\nyJ4k/suBOTarijTfnqkbL7Jecyq3CDV/SFnfO3A0y0f2yHQtEilZ7IkfcbhYSUS0bI/BIi0vLOCn\nl4jqwzJ1X6frxmJyusqVGJxpYgA+T3ULxGS/0Al/XcUIkbXyhOEwEUjPp/LOuFso7rdTXR+xr79R\n1vcHKViaMpWb4lcdA5CHbTL3LSKdLs7UbZauvcVR6K8CPk/FTJHySyhNcPn5uLNcCQG2SIiiEgYL\n1boyJrsF78gPiDHpem+6XiXG5p6MzSPYxYpj8oekl7KRvdDy+2I1NOF0cSaF3a2o+HYXe3S72L8H\n1PC5Cc4RqX90pn7zdC2f7M5y7YP9xJl1ScZur8S3WnTdqSNdZjEAu4kUW46JVoyycgxEf/ln6LVx\nFF4UQrifEKU3K6aD+gqRthxmigHoXaPzydgj3W8g9puWTHtPcQx7PJVHq/1CYLqO1JzF2OT/vAZw\nJV7ULBPiMYsZeD3db1XDZxaturZnH5f4jMmxuUIIsK1TeWjqc1zBZ7RJJ5ZsGr8mlSfmdNwH6+qI\ngMXpwV9nbMaJ1XRxKr8sorsaRuF7PFuhrZSSyiO7M1yJQSP26BLWEPtmKYWfnuOz0RiRrnOqtI8V\n29t4fJTqvk3XRRXsBwsNlcUQVU4YZ+AXkTayC2F9XIhzK/SZrUMB9k9kziyzmYntKvTdTgz82pXI\niKhZpvLbt85w7SEEzVmpvIpQqwuFKt4Q51fhUgmtOh/ZPYSQnVuhrZ9Y0O3ihFKO2ZhSVrcvbtJx\nIiJEclseiWG4X+w3Twohc71YNZUwINlfJ45fB1ewacYNmfJAccxZIibzPbFvZ/EwPk3tvwklun8X\nucK2eCzxnSIE3LFiP7xVZKWiaFX/ZG+Gp4Q+WSbO/0/q+PjxrMhGp6n+Rq2P+Oh0G64W/+PICnY3\nqqw1/nVcJn8S/o9o1Zg3aP8GBomFsFLQAxeo7xPnfx1T5H82XVlYVWimplqG3ehGN7rRjf8N/gFP\nEzpwB1gnxwAAAABJRU5ErkJggg==\n", | |
| "text/latex": [ | |
| "$$C b \\left(A C d + D c\\right)$$" | |
| ], | |
| "text/plain": [ | |
| "C⋅b⋅(A⋅C⋅d + D⋅c)" | |
| ] | |
| }, | |
| "execution_count": 12, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "H1*R" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 13, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "image/png": "iVBORw0KGgoAAAANSUhEUgAAADMAAAASCAYAAAD2Uea5AAAABHNCSVQICAgIfAhkiAAAArhJREFU\nSInt1luIVlUUB/CfkxImpmWm1iSZqJkPvgiBV9QMQkioIIREQVCoJC1CECQQBBVMEV9EGKmXyQw1\nRPPWTcNC6EGIVHpqsLwmeGkiptCHtcY5Hb5vPOfFl/zDx9573fY6e6/13x//Y2zCmoq2E7ABx3EU\nu7Ado9AHH2EGfsAtfFwjjw/RkX4za/jdwST8i7a72D0sku7AG3iwoBuK3diBMykbgH+wpGY+b+Nv\n9K/ppwVfipM40IvdKPyMExjSxObZjLM11y/kenzNnD7Bd+Ukq2AJPkMXhjexeRQH0Q9z8UcTuzM4\nKw4HpuGKnpuqimn4tqaPoblxC87h9yZ27eKEZ1eIeRyDc/419tTMaXTu9WJNP22YkvMfRX2Xb/T5\nDH6sYszXc+yHTlFyG/N3RJBHEbOwE+uxTfRLl+i3ypgiWKcbBzLpYSW7bSlfWCc4JqffPvFh8C5O\nC8aDxbiI1lyPFAfwfZ2N+ooGG1GQteXmE0u2v6S8VT2sxFU8VJC9krEm5D5dmF/yu4J15WC9EcAy\n7MX5guxijmUSaMWfoqfuhjGF+XTRP50F2VM5DsBa3BDk043nBFNWbv4n8Jt47A4Wfqc1LqcLmhND\nES16KJlgvPdKNu2iLx/JcWdJ/2bKB1bY707AWQ3kr4qPWVmS71WtId/C1Jw/lrGmF/QP4DK+EI/0\nLSwvxdiFkzl/pqhoVGazxYl91UDXXUblMtuYsRY3+QiYg0F6HrrOTPZCweY18V59gOsp6yjo+4u/\nQN0l9k4v+xmXzs2u8OlMoL2BbjluYoH/HtIQrMb7DXwOY17On8QlrMh1H5wS7Eaw3Q5cw1I8jlWN\nkhwtqK4rk/1J9E0Rn+PX1P+Fb/BSyWYyPhXv0SHRuJtF0zbCyLTfJOj55ZJ+LPanfosgj0Xiod0u\nbvE+7uNe4jau6552zB9bDAAAAABJRU5ErkJggg==\n", | |
| "text/latex": [ | |
| "$$A C b d$$" | |
| ], | |
| "text/plain": [ | |
| "A⋅C⋅b⋅d" | |
| ] | |
| }, | |
| "execution_count": 13, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "simplify_bool(_)" | |
| ] | |
| }, | |
| { | |
| "cell_type": "markdown", | |
| "metadata": {}, | |
| "source": [ | |
| "### 資源動員論のブール式表現" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 14, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "image/png": "iVBORw0KGgoAAAANSUhEUgAAABIAAAASCAYAAABWzo5XAAAABHNCSVQICAgIfAhkiAAAAQJJREFU\nOI3d078rxVEYx/HX9Supm1LXRAYGSjFTJIvdajP7B8xWhT8Asx9/gImrW0ab4VoMDBZSMig/hnPu\noL7f52sw+SxPnc+n93nOec7hj1QrWT/GJKbxiit8Zm8QdRxgBx9Vm8ziC1sF3gzaOP1NtxsZtFzi\nz2d/rQp0gncMBJk2zqtAj9LdRGrhCbpKAlMYxmUFaAj9EWgh1wjUhwk8RKBFadytADSHXlwEGfe4\njgLYk6a2VBYYz4HdAFLHM5qdhaKjde6nWeB1tIlurAcZh7mjRom/Kn2blQhSwx1uCrwGtnErveof\n6sl1FPsYwRhecJY7I426D0fSP3uLuvln+gbFoi6RyyEiNgAAAABJRU5ErkJggg==\n", | |
| "text/latex": [ | |
| "$$D$$" | |
| ], | |
| "text/plain": [ | |
| "D" | |
| ] | |
| }, | |
| "execution_count": 14, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "H2 = sympify('D')\n", | |
| "H2" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 15, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "image/png": "iVBORw0KGgoAAAANSUhEUgAAAH0AAAAUCAYAAACgezK3AAAABHNCSVQICAgIfAhkiAAABUJJREFU\naIHt2XusX1MWwPFPS1FlUuUaGdR0SqsVrgnRpqhRJUyFeIu0nRGZQUypjolEPEKUMBmPeoforzOh\nQlVpMONNjREJMoN6NJLxmPFMR2dQFPXH2j+/c8/9nfM7v9/tKHK/yc357X3WXmedtffaa+1z6aef\nxG14DqvxP9yHP6e/v+F5/BbrZMbshSfTmD9WeMYkbNCGTZfivIqyO+BiLMED4n2uxwgMwDxsUTD2\nErwu3mPvNuzrK534vBXr4+ftGLFzMuD8Jve68Qpuz/UPwef4dQvdk3B4G7bsii9wYwu5H4jJfR1T\nxUvX6cJCzMVLLfT8Bp9icBs2rgk68XkrfoUDqwrPSAbsU3B/93R/aqZvcuobU6J3I8yvagQG4sGk\n954SuRFYiiewaYHM9knPlS2eeQseb8NG2AnrtjkmTyc+r8JCxT7pwQJ8hg1LZF7Bw5n2uXhPbKFF\nnKuNlYcTcGKy5ZkCmWF4GcuwSQt9L+GQFjL/wuw2bIQaftzmmDyd+LwKU3BBFcF3RC4p43Esz7Qf\nxh0txixVPS91iSgfiDfx7wK5+cojJMsSDC25PzLp2q+ijXVq+j7pnfi8CoPwqhSMRdvRGGwuXqSM\nYRrF2CCME3n3D6lvJ8zEC6m9I94S+bkKF+FsfCkc0i0WwJcZmXE4WkzmgxV0XokPMu1JOB7/FIvh\nOVGX/LWijWuKTnxeZ0dR5P0XK0U9cgE+SfdX4Q1RMzxbpPh4sdqnlDx8PbEVLUvtCWnMYrEAYBZe\n1Njup+La8nf6mt1FlV3nnqT/hzm561L/LyrqzXKcWExbpfZwfKx1tDWjpm+R3onP4UixA3an9kRR\n/R+cGzsX0ymO9L1ENJUVMxPE5D6S2nviPzhKrCwierbHWBHtXVhRorPOuiLKj8j0vZ2uW4iJqjMp\nXatEeZZusQCni9RBVP0f49E2da0JOvH5T/EnUaH/PfUNFXn/6dzY5VLADCxQPhH/UD5Bh6brzZkx\nS4TT6mydrkPSdX2xdbZiBhaJVFCnPtH58/VW+Ehj4srYLvN7toiIBZm+saLKXRuT3onPLxZ+uSkj\ncxd20dsfn0q1VLNIH4ktlZ8HN8Y0PKZRSY7Xu0IcL/J3fTt6X2yhZfwIp4m0MDnTv0265id9hZ45\nvoiBOEWcwYdif/GOqzIyP0v2lkXbPI2tNMtw7Ca23zzH6R15WTrxeZcoXK9RrUYaJoq5phwrcsuh\nRQK4UBQN26b2ZmnMxIzMOuL4dm+mb7LWHxfma2zZWQ5Lzzg9179ITNyQXiN6chL2SL93Tbpm5mRu\nw1Pp909a6MtT03lO78Tn49KYYys+Y6GS000tKesquH8YPhSRUmdDEW2jMn1HiRW4W6ZvsJ5FSJ59\nFH84qb/kpbn+PdNzTi7Ruy/OyLRH6e3kwXgXv0/ty0v0NaOm80mvad/nI9KYZl82xwq/ZFmm4LP3\nAFF8LW1yr0scxZaJyjrPfRoV45bCgac2kVuE0U36R4tCauNmhgmHrtb8a95M4ZRpetYpm+Is/C4n\nP0AUPrNSe5CobleIKnpzPRdJFWo6m/S++nxOrm8/XK1xgiKK6YX5wVvjfpFHV4tz7F80Pvg/JPLc\nyYq/Fg3HrSISF+OgArluXJFpjxRHpFXp2c+LvJ7lTryW7q8U1esBOZkJ6flPJ9sX4DKx6psxCncn\ne+eIIu+XIl9eL3JgO9S0N+lrwudDxT+3bhA71Bwc00TuKs3rkG+U2Yon47tKTd+/yP0/GKORstYq\nA3Cm9v61+m1njuJ/164t1sM5io/m/fTTTz/9fH/4CmMiR8iZnEzqAAAAAElFTkSuQmCC\n", | |
| "text/latex": [ | |
| "$$D b \\left(A C d + D c\\right)$$" | |
| ], | |
| "text/plain": [ | |
| "D⋅b⋅(A⋅C⋅d + D⋅c)" | |
| ] | |
| }, | |
| "execution_count": 15, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "H2*R" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 16, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "image/png": "iVBORw0KGgoAAAANSUhEUgAAACQAAAASCAYAAAAzI3woAAAABHNCSVQICAgIfAhkiAAAAfNJREFU\nSInt1UuIT3EUB/DPNAyN5JG/jaFEMuS1MUUGkZSihthIzYaVvBbWSmxYmGIz0mQxyiMh0VhMSmEh\nC6+a2UgohDzymLwWvzO58+/+7zTpv5hy6l/3nPM953zvPY8/w0TO4QF+4xO6cD1+t/EQ+1CbiVmO\nOxFzuhqkFkbygzm+BejBhTL7GPzA9moQ2hmEVlXwLw3/1oxtddgaq0HoPPpQX4DpQXdGP4A3qKkG\noVfSvBTJLbzL6N24+C9FR1SwN2IyOgaJn4jR8TwSTTiFo2Gbj914VBY3T1qKj/iK7ziEb5UK7ZBm\nYV0BmTqppb2hL4mYK0EO9uKJgS3cjJfSYkCztMkbCmrpxE+MK8CsCALtoe+X2peduZbAzA19kfQ1\ntmUw63EPDUWEnuN+EQBtUWxl6FdxqQyzKzCLQ7+BZwber0FlRiQ5VoAZi/e4mbG9leYiK2ekuzQB\nJfzC8aGQgdYg1FKAOSwN5MzQJ0VMcwZTK52Aa6E3BaZ1qIQ6IrBUwb8Rn7E2Y6uX3n5WxrZFmsP+\ndk2PvJtycs7BsrxiNXiKxzm+krTOvdKVLpcufzdlCl5jTw6mrcy2BifEZvav41TpfjRgNj7gbrwR\nacXrcBYn8SWH0DQcwQuple24XIYZH4T6pBkcJf0hd+bk+y/DQ/4AvEduSR+il1cAAAAASUVORK5C\nYII=\n", | |
| "text/latex": [ | |
| "$$D b c$$" | |
| ], | |
| "text/plain": [ | |
| "D⋅b⋅c" | |
| ] | |
| }, | |
| "execution_count": 16, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "simplify_bool(_)" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 17, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "image/png": "iVBORw0KGgoAAAANSUhEUgAAACQAAAASCAYAAAAzI3woAAAABHNCSVQICAgIfAhkiAAAAfNJREFU\nSInt1UuIT3EUB/DPNAyN5JG/jaFEMuS1MUUGkZSihthIzYaVvBbWSmxYmGIz0mQxyiMh0VhMSmEh\nC6+a2UgohDzymLwWvzO58+/+7zTpv5hy6l/3nPM953zvPY8/w0TO4QF+4xO6cD1+t/EQ+1CbiVmO\nOxFzuhqkFkbygzm+BejBhTL7GPzA9moQ2hmEVlXwLw3/1oxtddgaq0HoPPpQX4DpQXdGP4A3qKkG\noVfSvBTJLbzL6N24+C9FR1SwN2IyOgaJn4jR8TwSTTiFo2Gbj914VBY3T1qKj/iK7ziEb5UK7ZBm\nYV0BmTqppb2hL4mYK0EO9uKJgS3cjJfSYkCztMkbCmrpxE+MK8CsCALtoe+X2peduZbAzA19kfQ1\ntmUw63EPDUWEnuN+EQBtUWxl6FdxqQyzKzCLQ7+BZwber0FlRiQ5VoAZi/e4mbG9leYiK2ekuzQB\nJfzC8aGQgdYg1FKAOSwN5MzQJ0VMcwZTK52Aa6E3BaZ1qIQ6IrBUwb8Rn7E2Y6uX3n5WxrZFmsP+\ndk2PvJtycs7BsrxiNXiKxzm+krTOvdKVLpcufzdlCl5jTw6mrcy2BifEZvav41TpfjRgNj7gbrwR\nacXrcBYn8SWH0DQcwQuple24XIYZH4T6pBkcJf0hd+bk+y/DQ/4AvEduSR+il1cAAAAASUVORK5C\nYII=\n", | |
| "text/latex": [ | |
| "$$D b c$$" | |
| ], | |
| "text/plain": [ | |
| "D⋅b⋅c" | |
| ] | |
| }, | |
| "execution_count": 17, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "simplify(_)" | |
| ] | |
| }, | |
| { | |
| "cell_type": "markdown", | |
| "metadata": {}, | |
| "source": [ | |
| "### 政治的機会構造論のブール式表現" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 18, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "image/png": "iVBORw0KGgoAAAANSUhEUgAAADcAAAAUCAYAAAAp46XeAAAABHNCSVQICAgIfAhkiAAAAhhJREFU\nWIXt1jtoVEEYBeDPNUQbIQqLUUQDQWxEER9NYBEfhaCVtTZCsLERwU4DPsHCwlaXqwhpBLXQTon4\nLBIbBRErJSoiFiZi1CixmFnchHs3e++aFJoDy8zO2fnnzP5n/hn+YczL+fvzGMWxGdAyHS5hQ/x8\nxSP8ilw7OnEdJzGWN/imGKz6N5QWRBcmcCaF24wfuJU3aAl3YuDbBYWtQ1vBuTXsixp2ZPBDkS8T\nRDeDXlzDuJD+IjiMFQXn1lARsvMwhSthGb7gc7MBy0LWShjGu4LCEsFWreAl7mdwB4Ws9eYJWEVP\n7A/hp+YzXo9Ea5tbKog/MWV8geCKt9hfT0x3Bnow3x8bfIjfy7E/m6jEthtnY79d0DiCrXjVbLA2\nPBB8XENV+PfWFxCXaC1zF/AdC1O4U8IVtbN+sJG9DuEG3teN1bJVtKi0ggoG8S2F6xPu7CuCs5Bt\ny+U4ghcml91VsW20ucvSM7sSW4RqNxUHhPOchQ6sxbkMflzYdCeW4GODWPqxLWV8r2DLo40mZyBR\n3JZ74rq7M/jVkZ9UB9JsuR2fcDeFG47tbNuyIohPu9/gdGz7GgVZgzdYlMF3xUX6c8trLXODeJYy\n3oGLwrPweNbkbjwWvDuB58K5q8dNvI78GAawK4fARL7NLRbc8zSuOYp7cd0BPBFK/1VszBF3RpBo\n/YWSC0VeGkUxIr2Mz2EO/xN+A3kzbFHFAAonAAAAAElFTkSuQmCC\n", | |
| "text/latex": [ | |
| "$$A + B$$" | |
| ], | |
| "text/plain": [ | |
| "A + B" | |
| ] | |
| }, | |
| "execution_count": 18, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "H3 = sympify('A+B') #テキストでは'A*B+A*b+a*B'だが同値でよりシンプルな表現を採用\n", | |
| "H3" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 20, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "image/png": "iVBORw0KGgoAAAANSUhEUgAAADcAAAAUCAYAAAAp46XeAAAABHNCSVQICAgIfAhkiAAAAhhJREFU\nWIXt1jtoVEEYBeDPNUQbIQqLUUQDQWxEER9NYBEfhaCVtTZCsLERwU4DPsHCwlaXqwhpBLXQTon4\nLBIbBRErJSoiFiZi1CixmFnchHs3e++aFJoDy8zO2fnnzP5n/hn+YczL+fvzGMWxGdAyHS5hQ/x8\nxSP8ilw7OnEdJzGWN/imGKz6N5QWRBcmcCaF24wfuJU3aAl3YuDbBYWtQ1vBuTXsixp2ZPBDkS8T\nRDeDXlzDuJD+IjiMFQXn1lARsvMwhSthGb7gc7MBy0LWShjGu4LCEsFWreAl7mdwB4Ws9eYJWEVP\n7A/hp+YzXo9Ea5tbKog/MWV8geCKt9hfT0x3Bnow3x8bfIjfy7E/m6jEthtnY79d0DiCrXjVbLA2\nPBB8XENV+PfWFxCXaC1zF/AdC1O4U8IVtbN+sJG9DuEG3teN1bJVtKi0ggoG8S2F6xPu7CuCs5Bt\ny+U4ghcml91VsW20ucvSM7sSW4RqNxUHhPOchQ6sxbkMflzYdCeW4GODWPqxLWV8r2DLo40mZyBR\n3JZ74rq7M/jVkZ9UB9JsuR2fcDeFG47tbNuyIohPu9/gdGz7GgVZgzdYlMF3xUX6c8trLXODeJYy\n3oGLwrPweNbkbjwWvDuB58K5q8dNvI78GAawK4fARL7NLRbc8zSuOYp7cd0BPBFK/1VszBF3RpBo\n/YWSC0VeGkUxIr2Mz2EO/xN+A3kzbFHFAAonAAAAAElFTkSuQmCC\n", | |
| "text/latex": [ | |
| "$$A + B$$" | |
| ], | |
| "text/plain": [ | |
| "A + B" | |
| ] | |
| }, | |
| "execution_count": 20, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "H31 = sympify('A*B+A*b+a*B') \n", | |
| "logic2bool(simplify_logic(to_cnf(bool2logic(H31)),form='dnf'))" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 21, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "image/png": "iVBORw0KGgoAAAANSUhEUgAAAK0AAAAUCAYAAAD/ar3+AAAABHNCSVQICAgIfAhkiAAABnhJREFU\naIHt2n+MHVUVB/BPl1LEii7FxUakgKXQVks1giWgW1wq8RcSCqIx+AMbFYNIRY2JUUFjQTFYUvFH\nUtAHKqjFWjT4A0UrFCWGYhAsP6pRKyqIIm21AkXwj3NfOzs7897M7s5uTN43eblz7z33zJ1zzpx7\nzplHDz38H2MxbsGTuLIL7RCeUoP3Snx8lPsaD1yO28Sz/Rs/wg/S7yfYhBXYG3vhVRV4NimD5+Ei\n3IQfYw1W4xBMwRWYWbL2M9ginvVlNfY3VqzBHem+23G93TL+Be7E+7BHDZ6VdDEdj+MdHWiGcGqN\nGx+J/+JLNdY0gYOFQC8smDsKj+G61H87XtOBV1MyeLowzi04XSitjQGsxZdxdxc+78aj4iWcSLxA\nyPgTBXMLcS++VZNnN11Ykm46r2T+abi6xg37cEPi+b0a6/I4AlPHsB7elPaxpGR+Y5ofSP212K+A\nrikZHCI8/s9L7gtzE59Lu9zz69hQY4+Mj4zPFvs7vmT+2DR/ek2+ZboAH8OD4ggqm+9o9TmciXcJ\nL3ZbjXV5tISnHAtWK/c+ffiLONampbFX44IC2iZkMAP3YDP27cLvbpzchebPItypg5axy/ga8ZxP\n7UBzL35ak2+ZLkjMvt1h8SbVY5IB4WH6cJ8witGiZewCvUfEiEU4U3iAbFi0J35n5AvchAyu1tlD\nZXET+jvMz068Tqi4xzZaxi7jB0T82gkb8FBNvsN0MTU3sUjEXRensSOwHL/BAvxVxGZV8Cl8FE+I\nh1kolPdEzQ2PB56Fw/DN3PheOEskCG8xPAHdiT+JOO1XaawJGSzCG4Qx3lCB56V4ONMfwjvxB2HM\nd4i85OaKexwvzMP+wvg7YYaRCewCoYNt+I84ES/AI2l+mC6yRnuUODoPwtJEeK5w+fOFwDdXfIBj\nhTdqC+6B1B9I1xONwdTOxifT9TSxz204TvGz/V4ItG20Tcjgbam9vCLfb2Sulwnlvkh48lkifLhV\nVEkmEm0Z39iBZhoOxR8zY6fhErwStyc+14kc49oM3S5dZI32pfgnXi8Mlnh75wqjHcDWCpufKjzM\n6zJj96d2pskz2seEgTySm1shYs2lohSWxUPCS7fRhAyGUlvFy2axEF/Em4XBElWHHfhZTV7jgcXi\nBOmUAB4jTvT1qf9CfEVUCG5PY/0i7t2YW7tLF32ZwUFxRO3IjB2Y2uniKH28wubPxjpxjLbRVlJZ\nbbFpDArvkzdYOF/ESlcaGas+mhtrQgbPEV7xPt0xJ3O9QiSO12TG5ossezKMdhC/1vmlXpraq1J7\nkZDL1zI037H75Mhily6ynvZoIzO0o0X8tlnEt7O6bPzZeD/uMry0dFBquxntFcKD5DELLxbeMo9l\nRr6VWfTj+fh0yfxOYcwzRbz1YGZuhkgA2vi78ZfBVtXi/D6cI2qw/XiFqHnuzNAcJ/TVyds1IePZ\nOEDnGuw+oux4o0j4B0Ti+QXVcoS8LjxTZJyDmbE9hAK/n/pLumyKyIKHCsZPSfw/WGFzRWgZfWZ7\nYrp3WZlqTpovClvWGp7RNyGDdcLwpnfhexZekq6PTLyW52jW4Jfp+rld+OXRMnoZn5H2s7QDzYUi\nfzg09RelNWdUvMcuXbTDgx2Jwf0ZolOFdZ+X+jcLb1uG4/EP8Vk0j7arn4zwYFA8W1k23T5dzi+Y\nW5Bb14QMLhZ6WNaB78vxDLs96LbUbsnQ7C3iynZocE4HfuONxaktKymeIkKm0/DbNPa31G4voJ8v\ncqws8rpAfCs+KV0fkJi+N0ezDocX3ORwIcB9SjZ9sDCcOl+SsmgZvRe4VZSB8ujHZeJoOq9gfq54\nu/NoQgbL8S9xfGbzjP3wEXwgRz9FJC7npv6e4vPuVlH+2h8fKtlHGVpGJ+MpImHfVDA3IF7KzaKa\nksf1WJUbOwGfF8/URpkuzBJ1zJX4Ll5bQLMQn830Z4ti8k6hkDtFTJfFtaLE8aSowa0X5Y06aKkn\n0H2Ft2v/SWa78EDr0+8WIciviqC/CJ9THPs1JYNjhPw34ociwbpEeJ0iHCZKQyuF4ufgrSJeXC1O\nyTpoqSfjA0W15S7xXA+nfWf/iLQB71H+haxfJMCXiZxjFd5YQFemi8pYoVyQTaFl7F9r6mCe8sSN\nyZFB02iZWBlXRTddVMIUfFi9v+WNFatMXDw8TYQLfR1oJkMGTWMiZVwVVXTRQw899NBDDz308D9R\n3J62jyhrOQAAAABJRU5ErkJggg==\n", | |
| "text/latex": [ | |
| "$$b \\left(A + B\\right) \\left(A C d + D c\\right)$$" | |
| ], | |
| "text/plain": [ | |
| "b⋅(A + B)⋅(A⋅C⋅d + D⋅c)" | |
| ] | |
| }, | |
| "execution_count": 21, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "H3*R" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 22, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "image/png": "iVBORw0KGgoAAAANSUhEUgAAAHoAAAAUCAYAAABCpynOAAAABHNCSVQICAgIfAhkiAAABLJJREFU\naIHt2XmoVUUcB/CPtift2eZSZquRFkWKlW0WRVBkERVtImTRYitCUFG0GmVEFGHoMygj2yNb1Upb\nCArKVl/QQpttVJYtlvbHb26Oh3vPPef5JIr3hcs557fM8p2Z3/xmLj3oQRNMxlUVbXfDJMzDc5iJ\nKRiEXpiOA/AqluPuGu24GZ8mv4Nq+K0uVOFlJhaINi/GM3gq/V7B27gIaxT8uspRl7E3/sLUNnYb\nigH9FCdjnUzXFw9hGt5Psj74E2fUbM85+B3r1fTrblTlBfYQA3Z1E90wLMSDTXRd5ag2emO2aOSs\nErtBeBcvY7MWNrukcm5L36PT964123Qf5tf0GYo1a/qUoSovDZybbA9pod836U8uyLvKUW2cibPw\nB95oYbMpPkAnNmlT3vs4Jr1fiW9EOK+Dz3FNTZ8ObFfTpwxVeMnxQLJdv8RmIeYWZF3lqBb6ilnb\nG5/hixZ2M5TP1hzzsHF6n4uHa7ZpcKrrsJp+HbpvoKvykmOR2I/LMB/fF2Rd4WglVAljN+ByLBMN\nHSY6tyyzGY4TxADOrlDmbfgBayXfqbgp6YbifLyT2R+M8fhYTJAFYs96qUJdqwtVeMmxK7YQk60M\nm2Ld7LsqR7uLZO4n/Cryl2vxW5XO7Cuy4wZmiZW0ZcHuziQ/rUqhGUYmv8dFh+BCvGdFmBoniOyf\nvgdiifYroxk6dM+KrspLjvHJ5sgSm7VFaO/MZFU4Ol5ElGHpe5TI7I9u0w/Eap+PrTPZ1FTpsIJt\nZ5L3Vw8TRZjK96wxqazdUj1LcWLB71tcX7Muumeg6/CS416RnW9UYnNgKmdKJmvH0Z5i9Z6a6Y/C\n67Lx6F1S6bl4BF9mskXpuVXBtj9+EXtVO+yYvY8S4X5JJhuQnn1EsrVYJDENDBEZ/QsV6lodqMNL\njlF4Cz+W2IxJz3sLfmUcTUr135PpH8NesvFotUdvg4tFeBidybdNz2KHftR6b8rRGxPEGRhGiH0k\nxwgx8ztxuDhXLs30ByZ92dFquuarayD2EeGxiHFiFZShLi8NDEY/zc/IDWyAU/CilbPuMo4+Esnv\nHem7NmaIBKiIY0XImFiQPyIGo0+bcs/Gful981TWqEy/hjhGPCkuIpaLpCPHTLyW3rdvU18RHVYt\ndNflpYGxST+mhR6uE4nUDpmsHUfDk35su4Y3C92H4DvMaaJrhILizL0plTWupK5Dxf7UWIlLUiO/\nymyOE1nnFaLTxA1bA+uJK8FG2J5QUl93oyu8NHBAes5roT9WbAnH48NM3o6jr5NscZMyh2D/FvXZ\nWRC7QQv9dqniGU105+NnEX7yCbQZLsMlTXyesSIz7JcafkH67oU3RYZJZJzTxDYxXhxVLm3VkRbo\n0LUVvSq89BLHwneb6PqKRdIpMvlmKOOoob+14HMYbrciS/8Hg8VxZWlq8NtiP8rxKD5J+l/xPI4o\n2IzE/WKve1okUbeI2dUMA5P9ZHF8OKqg3wlPJP2tIpE7XexhU8TMroMO9QZ6VXgZgGfFfr5c3Bs8\nbcUfGXNEdDtP+U1ZO442Fn923IUbBU8n1ejj/xIduvcK9D+DsuPV/xE/qXhT1IMe9KAHPejBv4y/\nAUQJQWaNoqWeAAAAAElFTkSuQmCC\n", | |
| "text/latex": [ | |
| "$$A C b d + A D b c$$" | |
| ], | |
| "text/plain": [ | |
| "A⋅C⋅b⋅d + A⋅D⋅b⋅c" | |
| ] | |
| }, | |
| "execution_count": 22, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "simplify_bool(_)" | |
| ] | |
| }, | |
| { | |
| "cell_type": "code", | |
| "execution_count": 23, | |
| "metadata": { | |
| "collapsed": false | |
| }, | |
| "outputs": [ | |
| { | |
| "data": { | |
| "image/png": "iVBORw0KGgoAAAANSUhEUgAAAG0AAAAUCAYAAACH1bNfAAAABHNCSVQICAgIfAhkiAAABQBJREFU\naIHt2XmsHXMUB/BPa61aqhSxlKqlrdQjRKVoqRJbiK1EqjSNLbbaIhFLiBLEktpT0VdCRakiltau\nLSIpoVVLSaidWGqppbY/zu/mTqczc99tHy+R901ufnfOOXN+5/7OOnPpxP8e1+OyAvpQvIK/cVcD\nHcOwegV/O1yNmXgaUzABfdAFk7BRyb3XYWGyY68GdrQnpmBu2vdHzMCT6fMy5uEcrNSEztVwwIoa\ntjP+xJ0l/O74AydW6BiGI0p4awvnLMRIYXQNvTAVE/FOAztPw2/o1kCuvbGDcNrlBbwWvIcHm9R5\nAg5aXoO64plk1OMlMsMTv38Jf01MLuH1wXy8hPVKZPol/Tc1sPU+zGogk8f2WLnJe/I4Xdi3dwl/\nt8Qf2aTeqcrPpBIn4xT8jtdKZC7F16KElfGLoqYn3sUCrNvAjndwaAOZTzGugUwerdiiyXvyeECc\nzxoVMu/huSb1HogrmjWml8iyrvgEn5XIPYeHKvTMV1zTJ6uO0CxmokcFv2/StW8bdGXRasWd9qXo\nX1WYhW+b1LsKPpBJhraUhKtwMf5KhrUIB/6VUzxI9LtrE217jMVbGIjPRU/MYhCOFs54pg223ITv\nM9fDcBI+FM6cK/rq7Dboak/0xwbC+VXoqXgIGygGlR/wi+jJV+BXLMHHome+3hZjdhPTWg2Pi0je\nMCc3ONEfFQ6Es/G2iJCRuK1A/+3pvuPaYkwOY0QQbZque2OxxtFehFYrlmknid9xYIXMqqJ8LsjR\nR4jq1ZKuh4gJ9JCMzESMql1UZdrKIsuOzNC+SOtG4sBq2APf4SgRGUT098MAUWIXFewxLK1tybIs\nWkQQjBIlm5g6F+OFJnW1B4aKylM1AA0WAf18hrYj7hZT4huJ1kP0vjkZuW9lEqVrxSanY5ooazXU\nHJV/ThoiStziDG2ztHYX4/sfBXtsip/VD74KW2e+jxPR+ECGNkBMWR3htCF4U3Fg1nBYWu/N0K4W\nZ3pPhvYIdrL0mfwmMw+UZdrGOFeUt+EZ+uZpzTttV8tOOLuKHrZA9LfeBfsssnRvLENXnCmewXpg\nP/HMsyQjs2faryraJ6mXoSx6YxdRvvIYY+moz6MvNlH9DLYWjsWL6tNjLzF83WrZXp9HTzGMVGKy\neunK4nBRu8/P0NZPtCEZ2kpi/H8iXQ9X/KOmiYPv3sCeU7F7+r5z2m9sTmYKXk3ft2ygL49Wy9/T\nRid7DquQuVIMGVtlaIPSfaPbsMdUmem6qDzujW/wbAGvlrLZTFucNv8iQztCRMcl6Xq2yLY8rk02\njKkweB+so55BP6R1YUamm+grtdJ4ZoW+9sbQtM4s4R8uWs0IvJ+hf5XWHwvuGSDmhBoGqpiItxWH\nsVYJfwvhoPybjRnq084myaCzcjLTkv48xuInUT6yQbQeLsJ5Ofkuommfna5XEdPVIjHFbYALSuwv\nQ6vly7QuYuCaX8DrJYJygZjCizAD43O0fXGL+hTeT2TaMugrRuUlwinzRF/L4mF8lPi/iClo/8Tr\njfvFC+VHcXDBHi24scT4wen+OZguBowbRMQVYRs8lvYbL4aU40W/mCCyvBm0as5pm+Ep0fP/Fs+O\n09VfEj8rKsMZqt+Q9BAv2O/ANeK3HJOTuVlxH/7PME65IzoSrVb8jci/gf7CmR2KLrhQ9V8zHYHx\nyv/u6SisKmaCqseyTnSiE53oRB3/APGIEladWL7cAAAAAElFTkSuQmCC\n", | |
| "text/latex": [ | |
| "$$A b \\left(C d + D c\\right)$$" | |
| ], | |
| "text/plain": [ | |
| "A⋅b⋅(C⋅d + D⋅c)" | |
| ] | |
| }, | |
| "execution_count": 23, | |
| "metadata": {}, | |
| "output_type": "execute_result" | |
| } | |
| ], | |
| "source": [ | |
| "simplify(_)" | |
| ] | |
| } | |
| ], | |
| "metadata": { | |
| "kernelspec": { | |
| "display_name": "Python 3", | |
| "language": "python", | |
| "name": "python3" | |
| }, | |
| "language_info": { | |
| "codemirror_mode": { | |
| "name": "ipython", | |
| "version": 3 | |
| }, | |
| "file_extension": ".py", | |
| "mimetype": "text/x-python", | |
| "name": "python", | |
| "nbconvert_exporter": "python", | |
| "pygments_lexer": "ipython3", | |
| "version": "3.4.3" | |
| }, | |
| "widgets": { | |
| "state": {}, | |
| "version": "1.1.1" | |
| } | |
| }, | |
| "nbformat": 4, | |
| "nbformat_minor": 0 | |
| } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 国名 | ネオ・コーポラティズムか | 政党の多様性 | 所得のジニ係数 | 都市化の程度 | 社会運動発生数 | |
|---|---|---|---|---|---|---|
| オーストリア | Yes | 0.535 | 16.7 | 38 | 2.8 | |
| ベルギー | Yes | 0.725 | 7.7 | 43 | 17.5 | |
| デンマーク | Yes | 0.725 | 4.4 | 39 | 2.2 | |
| フィンランド | Yes | 0.803 | 16.6 | 19 | 0.0 | |
| 西ドイツ | Yes | 0.582 | 9.7 | 48 | 17.5 | |
| 日本 | Yes | 0.586 | 23.1 | 47 | 3.1 | |
| オランダ | Yes | 0.830 | 0.3 | 43 | 5.2 | |
| ノルウェー | Yes | 0.720 | 14.8 | 22 | 33.5 | |
| スウェーデン | Yes | 0.693 | 14.7 | 25 | 9.4 | |
| オーストラリア | No | 0.625 | 4.3 | 57 | 14.5 | |
| カナダ | No | 0.616 | 9.8 | 45 | 19.5 | |
| フランス | No | 0.668 | 15.8 | 26 | 8.3 | |
| アイルランド | No | 0.624 | 12.0 | 27 | 49.4 | |
| イタリア | No | 0.734 | 23.1 | 24 | 10.4 | |
| イギリス | No | 0.507 | 1.3 | 59 | 11.2 | |
| アメリカ | No | 0.491 | 3.1 | 62 | 73.0 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment