%
%	gbb60166@gmail.com	https://unilab.gbb60166.jp/prekou/prekou.htm
%
% aspectratio= は 1610, 169, 149, 54, 32 の中から選べる（省略時は 43）
% C:\texlive\2024\texmf-dist\tex\latex\beamer\beamer.cls
%\documentclass[20pt,dvipdfmx,usepdftitle=false,hyperref={pdfpagemode=FullScreen},aspectratio=169]{beamer}
%\documentclass[20pt,dvipdfmx,usepdftitle=false,hyperref={pdfstartview={XYZ null null 8.00}},aspectratio=169]{beamer}
\documentclass[20pt,dvipdfmx,usepdftitle=false,aspectratio=169]{beamer}
% pdfの栞の字化けを防ぐ
%\AtBeginDvi{\special{pdf:tounicode EUC-UCS2}}
% テーマ
\usetheme{Copenhagen}
% navi. symbolsは目立たないが，dvipdfmxを使うと機能しないので非表示に
\setbeamertemplate{navigation symbols}{} 
\usepackage{bxdpx-beamer,pxjahyper,minijs}
%\usepackage{graphicx}
%\usepackage{tkokugo,tsayusen,shiika,sfkanbun,jdkintou,plext}
\usepackage{type1cm,furikana}
\usepackage[deluxe]{otf}
%\usepackage{tikzsymbols}
\usepackage{tikzpeople}
%\usepackage[dvipdfmx]{graphicx}%
\def\pgfsysdriver{pgfsys-dvipdfmx.def}%（graphicxパッケージを使用しない場合はこの行を有効に）
%\def\pgfsysdriver{pgfsys-dvips.def}%デフォルト
%\usepackage[e]{esvect}
\usepackage{tikz}%（これで、pgfとpgfforが読み込まれます。）
%\usepackage{tikz-3dplot}
\usetikzlibrary{shapes.callouts}
%\usetikzlibrary{calc}
%\usetikzlibrary{arrows.meta,patterns,angles,intersections,backgrounds}
%\usepackage{animate}
%\usepackage{pgfplots}
%\pgfplotsset{compat=newest}
%\pgfplotsset{compat=newest, every axis/.append style={line width=1pt}}
%\PassOptionsToPackage{dvipdfmx}{graphicx}
\nofiles

\hypersetup{% Jul 18 2023
	pdftitle={プレ高数学科（LaTeX Beamer で汎用PDFプレゼンを作る）},
	pdfauthor={gbb60166@gmail.com},
	pdfsubject={https://unilab.gbb60166.jp/prekou/prekou.htm}
	}

% フォントはお好みで
%\usepackage{txfonts}

\mathversion{bold}
\renewcommand{\familydefault}{\sfdefault}
\renewcommand{\seriesdefault}{bx}
\renewcommand{\kanjifamilydefault}{\gtdefault}
\renewcommand{\kanjiseriesdefault}{bx}
\setbeamerfont{title}{size=\normalsize,series=\bfseries}
\setbeamerfont{frametitle}{size=\normalsize,series=\bfseries}
\setbeamertemplate{frametitle}[default][center]
\usefonttheme{professionalfonts}

% 参考にしたURL
% http://windom.phys.hirosaki-u.ac.jp/fswiki/wiki.cgi?page=LaTeX+Beamer%A4%C7%A5%D7%A5%EC%A5%BC%A5%F3%A5%C6%A1%BC%A5%B7%A5%E7%A5%F3

\newcommand{\Slash}[1]{\ooalign{\hfil\kern-3pt／\hfil\crcr$#1$}}
\everymath{\displaystyle}

\def\maruwaku#1{\begin{tikzpicture}[scale=0.7, baseline={([yshift=-22pt] current bounding box.north)}]
\filldraw[color=CUDBlue, line width=1pt, rounded corners=2pt] (-0.1,0)--(2.1,0)--(2.1,1.1)--(-0.1,1.1)--cycle;
\draw(1,0.5) node[white]{#1};
\end{tikzpicture}
}

\setbeamersize{text margin left=5mm,text margin right=5mm}
\fboxrule=0.8pt

\makeatletter
\def\hooklen#1#2{\settowidth{\@tempdima}{\(#1\)}
%\advance\@tempdima by.3ex
% ↑ 数式モードで式の前後に入るスペースを制御したかったが、
%    難しいのでやめた。段々難解なコードになっているのでやめた方がよい？
\hbox to\@tempdima{\hfil \(#2\)\hfil}}
%■等号付き不等号 by 美文書作成入門
\newcommand{\myleqq}{\mathrel{\mathpalette\gl@align<}}
\newcommand{\mygeqq}{\mathrel{\mathpalette\gl@align>}}
\newcommand{\gl@align}[2]{\lower.6ex\vbox{\baselineskip\z@skip\lineskip\z@
	\ialign{$\m@th#1\hfil##\hfil$\crcr#2\crcr=\crcr}}}
\makeatother

% カラーユニバーサルデザインを調べたつもりだがあまり自信がありません
% http://www.fukushihoken.metro.tokyo.jp/kiban/machizukuri/kanren/color.files/colorudguideline.pdf
% http://jfly.iam.u-tokyo.ac.jp/colorset/

% ■ アクセントカラー小面積を目立たせる高彩度色
\definecolor{CUDRed}{RGB}{255,75,0}
\definecolor{CUDGreen}{RGB}{3,175,122}
\definecolor{CUDBlue}{RGB}{0,90,255}
\definecolor{CUDCyan}{RGB}{77,196,255}
\definecolor{CUDMagenta}{RGB}{153,0,153}
\definecolor{CUDYellow}{RGB}{255,241,0}
\definecolor{CUDBrown}{RGB}{128,64,0}

\definecolor{CUDOrange}{RGB}{246,170,0}

% ■ ベースカラー広い面積の塗り分けに用いる低・中彩度色
\definecolor{CUDPink}{RGB}{255,202,191}
\definecolor{CUDBrightGreen}{RGB}{119,217,168}
\definecolor{CUDLime}{RGB}{216,242,85}
\definecolor{CUDCream}{RGB}{255,255,128}
\definecolor{CUDBrightCyan}{RGB}{191,228,255}
%\definecolor{CUD}{RGB}{}%

\setbeamercolor{CUDBrightGreen}{fg=black,bg=CUDBrightGreen!50}
\setbeamercolor{CUDBrightCyan}{fg=black,bg=CUDBrightCyan}
\setbeamercolor{CUDCream}{fg=black,bg=CUDCream!75}


\begin{document}

\title{プレ高数学科}\author{gbb60166}

\newcommand{\personA}{police}
%\newcommand{\personA}{bride}
\newcommand{\personB}{businessman}
%\newcommand{\personB}{mexican}
%\newcommand{\personC}{groom}
\newcommand{\personC}{santa}

%■■■■■■■■■■■■■　テスト領域　■■■■■■■■■■■■■■


%\end{document}
%■■■■■■■■■■■■■　完成品　■■■■■■■■■■■■■■

\begin{frame}[t]
\frametitle{正直者は$1$人、残り$2$人は嘘つきです}
%\vskip-2ex
\begin{tikzpicture}[scale=1, ultra thick, >=stealth,
	baseline={([yshift=0ex] current bounding box.north)}]
%\draw[help lines](0,0) grid (15,5.7);
\useasboundingbox(0,0) grid (15,5.7);

\visible<8,11>{\fill[CUDCream](0.7,6) rectangle ++(2,0.5)
			(0.7,5.4) rectangle ++(1.6,0.5);
	}

\visible<3,12>{\fill[CUDCream](4.7,6) rectangle ++(2.5,0.5);}
\visible<3>{\fill[CUDCream](4.7,5.4) rectangle ++(2.5,0.5);}

\visible<4-5,9>{\fill[CUDCream](9.5,6) rectangle ++(2.5,0.5);}
\visible<9>{\fill[CUDCream](11,5.4) rectangle ++(2.5,0.5);}

%*************
\draw(2,3) node[name=\personA,shape=\personA,minimum size=2cm]{}
	+(-1.5,0) node{A}
	+(0,3) node[rectangle callout, draw,font=\footnotesize,
		callout absolute pointer={(\personA.north)},text width=3.6zw]
			{わたしは\\ 正直者です};
%http://chitchnoblog.blogspot.com/2013/01/callout-absolute-pointer-tikz-pgf.html
%https://ten.tokyo-shoseki.co.jp/spl/hl_support/files/kou/317_%E2%85%A0_%E3%83%AF%E3%83%BC%E3%82%AF_2%E7%AB%A0_%E7%AB%A0%E6%9C%AB_%E9%9B%86%E5%90%88%E3%81%A8%E8%AB%96%E8%A8%BC.pdf
%*************
\draw(6.5,3) node[name=\personB,shape=\personB,minimum size=2cm]{}
	+(-1.3,0) node{B}
	+(0,3) node[rectangle callout, draw,font=\footnotesize,
		callout absolute pointer={(\personB.north)},text width=5zw]
			{Aは嘘つきです\\ 私が正直者です};
%*************
\draw(12,3) node[name=\personC,shape=\personC,minimum size=2cm]{}
	+(-1.5,0) node{C}
	+(0,3) node[rectangle callout, draw,font=\footnotesize,
		callout absolute pointer={(\personC.north)},text width=7zw]
			{Bは嘘つきです\\ 本当は私が正直者です};
%*************
\begin{scope}[CUDRed,line width=0.5ex]
	\only<2-6>{\draw(\personA.east) circle(2ex);}
	\only<7->{\draw(\personA.east)+(-0.6,0.6)--+(0.6,-0.6)
			+(-0.6,-0.6)--+(0.6,0.6);}

	\only<7-9,14>{\draw(\personB.east) circle(2ex);}
	\only<2-6,10-13>{\draw(\personB.east)+(-0.6,0.6)--+(0.6,-0.6)
			+(-0.6,-0.6)--+(0.6,0.6);}

	\only<10-13>{\draw(\personC.east) circle(2ex);}
	\only<2-9,14>{\draw(\personC.east)+(-0.6,0.6)--+(0.6,-0.6)
			+(-0.6,-0.6)--+(0.6,0.6);}
\end{scope}

\only<1>{\draw[CUDBlue](7.5,0.7) node{\LARGE 正直者は誰？};}
\draw(7.5,0.7) node[text width=0.96\textwidth]{%
	\only<2>{正直者はAだと仮定すると、BとCは嘘つきということになる}
	\only<3>{Bは嘘つきなので「Aは嘘つき」「私が正直者」は、
			確かに両方とも嘘をついているが…}
	\only<4>{Cも嘘つきなので「Bは嘘つき」は
			本当のことだ（嘘をついていない）}
	\only<5>{Cは嘘つきなので「Bは正直者」と言わなければいけない
		\textcolor{CUDBlue}{\CID{12195}\ 
			\Kana{矛,盾}{む,じゅん}%矛盾
			{\footnotesize （話が食い違っておかしくなること）}}}
	\only<6>{これは仮定「正直者はA」が間違っているからだ}
	%+++++++++++++++++++++
	\only<7>{次に正直者はBだと仮定するとAとCは嘘つきということになる}
	\only<8>{Aは嘘つきなので、確かに嘘をついている}
	\only<9>{Cも嘘つきなので「Bは嘘つき」「私は正直者」両方とも
			嘘だ。矛盾は起こらない}
	%+++++++++++++++++++++
	\only<10>{最後に正直者はCだと仮定するとAとBは嘘つきということになる}
	\only<11>{Aは嘘つきなので確かに嘘をついているが…}
	\only<12>{Bも嘘つきだが「Aは嘘つき」は本当のことだ（嘘をついていない）
			\textcolor{CUDBlue}{\CID{12195}\ 矛盾}}
	\only<13>{これは仮定「正直者はC」が間違っているからだ}
	%+++++++++++++++++++++
	\only<14>{矛盾が起きないのは「正直者はB」のときだけなので、
			これが正解だ！}
	};
\end{tikzpicture}
\end{frame}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{frame}[t]
\frametitle{背理法}
このように

\bigskip
\centerline{\textcolor{CUDBlue}{\large
	ある\colorbox{CUDCream}{仮定}をすると矛盾が起こる}}

\bigskip
ことを示して

\bigskip
\centerline{\textcolor{CUDBlue}{\large
	\colorbox{CUDCream}{仮定}が間違いである}}

\medskip
ことを証明する方法を\textcolor{CUDRed}{\Kana{背,理,法}{はい,り,ほう}}%背理法
といいます。
\end{frame}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%



\end{document}

