ご質問はこちらへ

\usepackage{amsmath} \usepackage{amssymb} \usepackage{bm} \DeclareMathSymbol{'}{\mathord}{symbols}{"30}% \mathchardef\normalcomma=\mathcode`, \begingroup \catcode`,=\active \lccode`~=`, % \lowercase{\endgroup \def~}{\normalcomma\hskip0.640em} \mathcode`\,="8000 \begin{document} $,\bm{,}$ \end{document} こちらのサンプルですが、\bmのコマンドを使用した時点でエラーが発生します。 エラーメッセージ ! Bad mathchar (34560). \bm@command ->\mathchar 34560 推測なのですが、\DeclareMathSymbolの第1引数のシングルクォーテーションとバッククォートとbmパッケージの組み合わせが原因なのではとみております。 なぜこのような事がおこるのでしょうか。 よろしくお願いします。

初利用です．
Beamerスライドにプレゼンテーションで使うスピーカーノートを書こうとしたのですが，うまく動かなかったので質問します．

環境：macOS, VSCode, TeX 3.141592653 (TeX Live 2023)
エンジン：Beamer, upLaTeX + dvipdfmx

○問題点
\setbeameroption{show notes on second screen} を入れるとメインスライドの地の文が消える．
地の文とは frame 環境に直接書かれた文という意味で，block , itemize などの環境や \textcolor に入っている文，図は消えないようです．
この現象の原因と解決策を知りたいです．

○分かっていること
・\documentclass のオプションの dvipdfmx を消すと地の文は現れますが，レイアウトや画像表示が崩れるのでダメです．
・\setbeameroption{show notes} だと問題なく表示されます．が，ノートを右に付けたいです，
・pgfpages が dvipdfmx に対応していないことが原因だと（Beamer User Guide p.29のリストに dvipdfmx がなかったので）思っていましたが，調べたら最新版では対応しているようだったので，結局原因が分かっていません．
・情報ごと消えている訳ではなく，文章のスペースは確保されているようです．（ コードの \textcolor の前の部分）

○現状の解決案
normal text と同じ色設定の block 環境を新しく作って全ての地の文を覆えば，とりあえず表示はされます．
ただ単純に毎回 block を作るのが面倒なので，例えばプリアンブルだけで解決できるような策があれば嬉しいです．

○テストコード

\documentclass[uplatex, dvipdfmx]{beamer}
% \documentclass[uplatex]{beamer} % 文は消えないがいろいろ崩壊する

\usetheme[block=fill]{metropolis}

% ノート
\usepackage{pgfpages} % 無くても動く
\setbeamertemplate{note page}{\vfill\insertnote\vfill}
\setbeameroption{show notes on second screen}
% \setbeameroption{show notes} % これは動く

% 解決案？
\newenvironment<>{textblock}{
  \setbeamercolor{block title}{bg=normal text.bg}\begin{block}{}{#1}}
  {\end{block}\setbeamercolor{block title}{bg=structure}}

\title{タイトル}
\author{氏名}
\date{\today}

\begin{document}
\maketitle
\begin{frame}
  地の文．見えなくなる．
  \note{スピーカーノートを書きたい．}
\end{frame}
\begin{frame}
  この下にブロックがある．
  \begin{block}{block title} % blockに入っている文は消えない
    ブロックの中身．消えない．
  \end{block}
  この上にブロックがある．\textcolor{black}{textcolorでも消えない}
  \note{blockなどに入っている文は消えない．}
\end{frame}
\begin{frame}
  \begin{textblock}
    textblockの中身．消えない．
  \end{textblock}
  \note{無理矢理ブロック環境に入れれば見えるようにはなる．}
\end{frame}
\end{document}

○出力
PDFファイルを添付します．

お力をお貸しください．よろしくお願いします．

追伸　Markdownの書き方がよく分かっておらず見辛いかもしれません．ご容赦ください．

みなさま、はじめて投稿させていただきます。

使用しているパッケージはamsmath、amssymbを使っています。
a^{2^3}、b_{2_3}、int_2^3　など^_を使用して添字を表していますが、この中で
a^{2^3}、b_{2_3}の指数の位置を調整することはできるのでしょうか。

個別に\raseboxなどで対応するのはかなり手間なので、デフォルトの発生位置を変更したいと考えております。
a\hogesup{2}などのマクロも避けたい思います。

^_の挙動を変えるのはかなり難しいとは思いますが、ご存じか方いないでしょうか。
もしくは有能なパッケージの紹介でもありがたいです。

よろしくお願いします。

長い数式と数式番号が重ならない設定で質問があります．
内容は以下のようになります．

1. leqno（数式番号右寄せ）を使用して行頭に数式番号が出す設定にして，数式が長いと数式番号と重なってしまいます．

これを，数式と数式番号が重ならないようにしたい



2. 行末に数式番号が出る場合で，数式が版面よりも短いとき，数式が版面の左右中央に出ないで，
少し左にずれて出力されます．数式番号との間に少し開き出ます．

これを，数式番号を除いて，版面の左右中央に数式を出したい


この2点について，設定方法をご存じの方がいらっしゃいましたら，教えていただけないでしょうか．


TeXのヴァージョンは少し古く，以下になります．
Version 3.141592-p3.1.4 (sjis) (Web2C 7.5.3)


ファイルなど添付しておきます．

sampleフォルダ内にcomp.batを入れてあります．
ダブルクリックするとコンパイルがかかります．

よろしくお願いいたします．

お世話になっております。行間について、いくつかお伺いしたいことがあります。

まず、私は昔から、プリアンブルに
\setlength{\parskip}{1ex plus 0.5ex minus 0.2ex}
と書いて文書を作成していました。このコマンドが、段落間の縦スペースを広げるものであることは分かっています。しかし例えばこれを
\setlength{\parskip}{1ex}
としても文書に変化がありません。恐らくTeXを使い始めたときに、恐らくこのサイトだと思うのですが（http://www27.cs.kobe-u.ac.jp/~masa-n/misc/cmc/j-kiso2001/iabasic/jlshort/node45.html、文字化けしててもう読めません）ここに書かれてたのを特に何も考えずコピペして使っており、それをプリアンブルごとコピペし今まで使っていた、ということになると思います。ということで、このplusとかminusがどういう意味でこう書かれているのかが、よく分からないでいます。ネットでこのコマンドをそのまま検索するといくつもヒットするのですが、このplusやminusが具体的にどういう意味で用いられているのかという情報が発見できませんでした。まずこの
\setlength{\parskip}{1ex plus 0.5ex minus 0.2ex}
というコマンドが、どういう意味のコマンドであるのかを詳しく教えて頂きたい、というのが1つ目の質問になります。

それで、このコマンドにより、改段落時の縦スペースと、center環境などの際の上下の間隔が広がっております。しかし私の希望としては、\parによる段落改行時の縦スペースはもう少し広くしたく、一方center環境などの上下の間隔はもう少し狭くしたいと考えています。この件についてネットで調べると
\abovedisplayskip、\belowdisplayskip、\abovedisplayshortskip、\belowdisplayshortskip
を調整するという情報が出てきます。しかしこれは、（今はあまり使われていないと思われますが）\[ \]や、equation環境の際の上下の間隔を調整するもののようです。私は一行立てで数式や言葉を書く時は、基本的にcenter環境で書いています。なので、先ほど述べたように、\parによる段落改行時の縦スペースはもう少し広くし、center環境などの上下の間隔はもう少し狭くする方法を教えて頂きたいというのが2つ目の質問になります。というか、そもそもこの2つは独立して設定できるものなのでしょうか？確認ですが、center環境などは、「段落」として扱われている、という認識は正しいんでしょうか。

それで、これに付随して、2点お伺いしたいことがあります。

3. \abovedisplayskip、\belowdisplayskipと、\abovedisplayshortskip、\belowdisplayshortskipの違いについて、検索すると情報は出てくるのですが、厳密な情報が見つかりません。具体的に何が違うのか、教えて頂きたいです。
（参考）https://tex.stackexchange.com/questions/30909/abovedisplayskip-vs-abovedisplayshortskip

4. 上に書いたように、私は一行立てで数式や言葉を書く時は、基本的にcenter環境で書いており、特に何も考えず今までずっとそうしてきたのですが、ふと思ったのですが、そういう時は、例えば数式だったらequation環境を使うなどする方が一般的だったりするんでしょうか？

以上長くなりましたが、詳しい方がいらっしゃいましたらご教授頂けますと幸いです。
よろしくお願いいたします。

Cloud LaTexというサイトで以下を打ち込みコンパイルしたのですが、errorは起きずWro{\'{n}}ski, Andrzejのnの部分が丸ごと消えて出力されるのですが、どうすれば良いでしょうか。

\documentclass[titlepage]{article}

\setcounter{secnumdepth}{4}
\usepackage[utf8]{inputenc}

\newcommand{\maru}[1]{\ooalign{
\hfil\resizebox{.8\width}{\height}{#1}\hfil
\crcr
\raise.1ex\hbox{\large$\bigcirc$}}}%encircle
\usepackage{fancybox}%about frame
\usepackage{luatexja}%japanese
\usepackage{tikz}
\usetikzlibrary{positioning}
\usetikzlibrary{cd}%tikzcd
\usetikzlibrary{decorations.pathmorphing}
\usepackage{xcolor}
\usepackage{graphics}%reverse
%$\usepackage[margin=15mm]{geometry}%Make margin small
\usepackage{graphicx}%about scalebox
\usepackage{amsmath,amsfonts,amsthm,amssymb,amscd,ascmac}%in order to higher formula and mathfrak and so on.
\usepackage{latexsym, mathtools}%arrow
\usepackage[T1]{fontenc}%※
\usepackage{textcomp}%※
\usepackage{bussproofs}%prooftree
\usepackage{pifont}
\usepackage{subfigure}
\usepackage{lscape}%%revolve
\usepackage{stmaryrd}%bracket
\usepackage{cancel}%diagonal line on a letter
\usepackage{comment}
\usepackage{mathrsfs}%花文字(スクリプトフォント)
\usepackage{hyperref}
\usepackage{here}%\figure[H]でその場に出力
\usepackage{caption}
\captionsetup[figure]{labelsep=space}%figureの後ろの:をなくす


\theoremstyle{definition}
\newtheorem{dfn}{定義}[subsection]
\newtheorem{prop}[dfn]{命題}
\newtheorem{lem}[dfn]{補題}
\newtheorem{thm}[dfn]{定理}
\newtheorem{cor}[dfn]{系}
\newtheorem{rem}[dfn]{注意}
\newtheorem{fact}[dfn]{事実}
\newtheorem{exa}[dfn]{例}
\renewcommand{\qedsymbol}{$\blacksquare$}

\newcommand{\red}[1]{\textcolor{red}{#1}}
\renewcommand{\figurename}{図}

\renewcommand{\baselinestretch}{1.3}%Leave a space between lines

\renewcommand{\refname}{参考文献}%英語のクラスでthebilbliograpyのコマンドでReferenceと出るところを参考文献に変える

%\usepackage{fancyhdr}

%\pagestyle{fancy}
%\rhead{\thepage}%
%\parindent = 0pt%no indent

\usepackage[%
backend = biber,
bibstyle = apa,
]{biblatex}
%
\nocite{*}
\addbibresource{bib_name.bib}


\begin{document}

\printbibliography[title=参考文献]

\end{documnet]

@Article{Wronski:1974,
Author = {Wro{\'{n}}ski, Andrzej},
Title = {The degree of completeness of some fragmentsg of the intuitionistic propositional logic},
FJournal = {Reports on Mathematical Logic},
Journal = {Rep. Math. Logic},
ISSN = {0137-2904},
Volume = {2},
Pages = {55--61},
Year = {1974},
Language = {English},
Keywords = {03B55},
zbMATH = {3487417},
Zbl = {0312.02023}
}

仕組みはよくわかっていないのですが以下のbblの該当部分を直接Wro{\'{n}}skに変えても上手くいきませんでした。

% $ biblatex auxiliary file $
% $ biblatex bbl format version 3.2 $
% Do not modify the above lines!
%
% This is an auxiliary file used by the 'biblatex' package.
% This file may safely be deleted. It will be recreated by
% biber as required.
%
\begingroup
\makeatletter
\@ifundefined{ver@biblatex.sty}
{\@latex@error
{Missing 'biblatex' package}
{The bibliography requires the 'biblatex' package.}
\aftergroup\endinput}
{}
\endgroup


\refsection{0}
\datalist[entry]{apa/apasortcite//global/global}
\entry{bezhanishvili2019study}{article}{}
\name{author}{3}{}{%
{{un=0,uniquepart=base,hash=702b0fa9335916a13122df070cdb79b9}{%
family={Bezhanishvili},
familyi={B\bibinitperiod},
given={Nick},
giveni={N\bibinitperiod},
givenun=0}}%
{{un=0,uniquepart=base,hash=3600d077e681ddd4e34dc4e164409c26}{%
family={Colacito},
familyi={C\bibinitperiod},
given={Almudena},
giveni={A\bibinitperiod},
givenun=0}}%
{{un=0,uniquepart=base,hash=6f8f3d993543d9f1fdcbbe4b73d74c7d}{%
family={Jongh},
familyi={J\bibinitperiod},
given={Dick\bibnamedelima de},
giveni={D\bibinitperiod\bibinitdelim d\bibinitperiod},
givenun=0}}%
}
\list{organization}{1}{%
{Springer}%
}
\strng{namehash}{7462b78f3d9060088ea9120055a370c5}
\strng{fullhash}{07a70228e7adea8a713f407888a90899}
\strng{bibnamehash}{07a70228e7adea8a713f407888a90899}
\strng{authorbibnamehash}{07a70228e7adea8a713f407888a90899}
\strng{authornamehash}{7462b78f3d9060088ea9120055a370c5}
\strng{authorfullhash}{07a70228e7adea8a713f407888a90899}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{extradatescope}{labelyear}
\field{labeldatesource}{}
\true{uniqueprimaryauthor}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers 12}
\field{title}{A study of subminimal logics of negation and their modal companions}
\field{year}{2019}
\field{pages}{21\bibrangedash 41}
\range{pages}{21}
\endentry
\entry{colacito2016minimal}{thesis}{}
\name{author}{1}{}{%
{{un=0,uniquepart=base,hash=3600d077e681ddd4e34dc4e164409c26}{%
family={Colacito},
familyi={C\bibinitperiod},
given={Almudena},
giveni={A\bibinitperiod},
givenun=0}}%
}
\list{institution}{1}{%
{University of Amsterdam}%
}
\strng{namehash}{3600d077e681ddd4e34dc4e164409c26}
\strng{fullhash}{3600d077e681ddd4e34dc4e164409c26}
\strng{bibnamehash}{3600d077e681ddd4e34dc4e164409c26}
\strng{authorbibnamehash}{3600d077e681ddd4e34dc4e164409c26}
\strng{authornamehash}{3600d077e681ddd4e34dc4e164409c26}
\strng{authorfullhash}{3600d077e681ddd4e34dc4e164409c26}
\field{sortinit}{C}
\field{sortinithash}{4d103a86280481745c9c897c925753c0}
\field{extradatescope}{labelyear}
\field{labeldatesource}{}
\true{uniqueprimaryauthor}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{title}{Minimal and Subminimal Logic of Negation}
\field{type}{mathesis}
\field{year}{2016}
\true{nocite}
\endentry
\entry{Jankov:1968}{article}{}
\name{author}{1}{}{%
{{un=0,uniquepart=base,hash=743038f81d1900ad9897cd45f8043456}{%
family={Jankov},
familyi={J\bibinitperiod},
given={V.\bibnamedelimi A.},
giveni={V\bibinitperiod\bibinitdelim A\bibinitperiod},
givenun=0}}%
}
\strng{namehash}{743038f81d1900ad9897cd45f8043456}
\strng{fullhash}{743038f81d1900ad9897cd45f8043456}
\strng{bibnamehash}{743038f81d1900ad9897cd45f8043456}
\strng{authorbibnamehash}{743038f81d1900ad9897cd45f8043456}
\strng{authornamehash}{743038f81d1900ad9897cd45f8043456}
\strng{authorfullhash}{743038f81d1900ad9897cd45f8043456}
\field{sortinit}{J}
\field{sortinithash}{b2f54a9081ace9966a7cb9413811edb4}
\field{extradatescope}{labelyear}
\field{labeldatesource}{}
\true{uniqueprimaryauthor}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0002-3264}
\field{journaltitle}{Dokl. Akad. Nauk SSSR}
\field{title}{The construction of a sequence of strongly independent superintuitionistic propositional calculi}
\field{volume}{181}
\field{year}{1968}
\field{pages}{33\bibrangedash 34}
\range{pages}{2}
\endentry
\entry{niki2020subminimal}{article}{}
\name{author}{1}{}{%
{{un=0,uniquepart=base,hash=adff91e2a00944ee74dad8da77849bd2}{%
family={Niki},
familyi={N\bibinitperiod},
given={Satoru},
giveni={S\bibinitperiod},
givenun=0}}%
}
\list{publisher}{1}{%
{Springer}%
}
\strng{namehash}{adff91e2a00944ee74dad8da77849bd2}
\strng{fullhash}{adff91e2a00944ee74dad8da77849bd2}
\strng{bibnamehash}{adff91e2a00944ee74dad8da77849bd2}
\strng{authorbibnamehash}{adff91e2a00944ee74dad8da77849bd2}
\strng{authornamehash}{adff91e2a00944ee74dad8da77849bd2}
\strng{authorfullhash}{adff91e2a00944ee74dad8da77849bd2}
\field{sortinit}{N}
\field{sortinithash}{22369a73d5f88983a108b63f07f37084}
\field{extradatescope}{labelyear}
\field{labeldatesource}{}
\true{uniqueprimaryauthor}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Studia Logica}
\field{number}{5}
\field{title}{Subminimal logics in light of Vakarelov's logic}
\field{volume}{108}
\field{year}{2020}
\true{nocite}
\field{pages}{967\bibrangedash 987}
\range{pages}{21}
\endentry
\entry{Wronski:1974}{article}{}
\name{author}{1}{}{%
{{un=0,uniquepart=base,hash=49d2e20da15b96283e9b3de5203a3013}{%
family={Wroński},
familyi={W\bibinitperiod},
given={Andrzej},
giveni={A\bibinitperiod},
givenun=0}}%
}
\list{language}{1}{%
{English}%
}
\strng{namehash}{49d2e20da15b96283e9b3de5203a3013}
\strng{fullhash}{49d2e20da15b96283e9b3de5203a3013}
\strng{bibnamehash}{49d2e20da15b96283e9b3de5203a3013}
\strng{authorbibnamehash}{49d2e20da15b96283e9b3de5203a3013}
\strng{authornamehash}{49d2e20da15b96283e9b3de5203a3013}
\strng{authorfullhash}{49d2e20da15b96283e9b3de5203a3013}
\field{sortinit}{W}
\field{sortinithash}{4315d78024d0cea9b57a0c6f0e35ed0d}
\field{extradatescope}{labelyear}
\field{labeldatesource}{}
\true{uniqueprimaryauthor}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0137-2904}
\field{journaltitle}{Rep. Math. Logic}
\field{title}{The degree of completeness of some fragmentsg of the intuitionistic propositional logic}
\field{volume}{2}
\field{year}{1974}
\field{pages}{55\bibrangedash 61}
\range{pages}{7}
\keyw{03B55}
\endentry
\entry{1994情報科学における論理}{book}{}
\name{author}{1}{}{%
{{un=0,uniquepart=base,hash=ca5ea390ad0e84592024443902e75711}{%
family={小野寛晰},
familyi={小\bibinitperiod}}}%
}
\list{publisher}{1}{%
{日本評論社}%
}
\strng{namehash}{ca5ea390ad0e84592024443902e75711}
\strng{fullhash}{ca5ea390ad0e84592024443902e75711}
\strng{bibnamehash}{ca5ea390ad0e84592024443902e75711}
\strng{authorbibnamehash}{ca5ea390ad0e84592024443902e75711}
\strng{authornamehash}{ca5ea390ad0e84592024443902e75711}
\strng{authorfullhash}{ca5ea390ad0e84592024443902e75711}
\field{sortinit}{小}
\field{sortinithash}{4e618867564d5b98fe6e6ca1a999d5c5}
\field{extradatescope}{labelyear}
\field{labeldatesource}{}
\true{uniqueprimaryauthor}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{isbn}{9784535608146}
\field{series}{情報数学セミナー}
\field{title}{情報科学における論理}
\field{year}{1994}
\verb{urlraw}
\verb https://books.google.co.jp/books?id=L7yXtgAACAAJ
\endverb
\verb{url}
\verb https://books.google.co.jp/books?id=L7yXtgAACAAJ
\endverb
\endentry
\entry{2012数理論理学}{book}{}
\name{author}{1}{}{%
{{un=0,uniquepart=base,hash=b7ebdf5d3d38b91522d899efe6e5ba91}{%
family={戸次大介},
familyi={戸\bibinitperiod}}}%
}
\list{publisher}{1}{%
{東京大学出版会}%
}
\strng{namehash}{b7ebdf5d3d38b91522d899efe6e5ba91}
\strng{fullhash}{b7ebdf5d3d38b91522d899efe6e5ba91}
\strng{bibnamehash}{b7ebdf5d3d38b91522d899efe6e5ba91}
\strng{authorbibnamehash}{b7ebdf5d3d38b91522d899efe6e5ba91}
\strng{authornamehash}{b7ebdf5d3d38b91522d899efe6e5ba91}
\strng{authorfullhash}{b7ebdf5d3d38b91522d899efe6e5ba91}
\field{sortinit}{戸}
\field{sortinithash}{e3092f79ecd6febee216061d0758709f}
\field{extradatescope}{labelyear}
\field{labeldatesource}{}
\true{uniqueprimaryauthor}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{isbn}{9784130629157}
\field{title}{数理論理学}
\field{year}{2012}
\true{nocite}
\verb{urlraw}
\verb https://books.google.co.jp/books?id=4pWeuAAACAAJ
\endverb
\verb{url}
\verb https://books.google.co.jp/books?id=4pWeuAAACAAJ
\endverb
\endentry
\entry{2007論理体系と代数モデル}{book}{}
\name{author}{1}{}{%
{{un=0,uniquepart=base,hash=6a8d52f42a0d4d6574fe3d6656fb6f9d}{%
family={青山広/愛知非古典論理研究会},
familyi={青\bibinitperiod}}}%
}
\list{publisher}{1}{%
{八千代出版}%
}
\strng{namehash}{6a8d52f42a0d4d6574fe3d6656fb6f9d}
\strng{fullhash}{6a8d52f42a0d4d6574fe3d6656fb6f9d}
\strng{bibnamehash}{6a8d52f42a0d4d6574fe3d6656fb6f9d}
\strng{authorbibnamehash}{6a8d52f42a0d4d6574fe3d6656fb6f9d}
\strng{authornamehash}{6a8d52f42a0d4d6574fe3d6656fb6f9d}
\strng{authorfullhash}{6a8d52f42a0d4d6574fe3d6656fb6f9d}
\field{sortinit}{青}
\field{sortinithash}{87e596821c5bd34e0e32ee348a57beea}
\field{extradatescope}{labelyear}
\field{labeldatesource}{}
\true{uniqueprimaryauthor}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{isbn}{9784842914336}
\field{title}{論理体系と代数モデル}
\field{year}{2007}
\verb{urlraw}
\verb https://books.google.co.jp/books?id=-eAJfAEACAAJ
\endverb
\verb{url}
\verb https://books.google.co.jp/books?id=-eAJfAEACAAJ
\endverb
\endentry
\enddatalist
\datalist[entry]{apa/global//global/global}
\entry{bezhanishvili2019study}{article}{}
\name{author}{3}{}{%
{{un=0,uniquepart=base,hash=702b0fa9335916a13122df070cdb79b9}{%
family={Bezhanishvili},
familyi={B\bibinitperiod},
given={Nick},
giveni={N\bibinitperiod},
givenun=0}}%
{{un=0,uniquepart=base,hash=3600d077e681ddd4e34dc4e164409c26}{%
family={Colacito},
familyi={C\bibinitperiod},
given={Almudena},
giveni={A\bibinitperiod},
givenun=0}}%
{{un=0,uniquepart=base,hash=6f8f3d993543d9f1fdcbbe4b73d74c7d}{%
family={Jongh},
familyi={J\bibinitperiod},
given={Dick\bibnamedelima de},
giveni={D\bibinitperiod\bibinitdelim d\bibinitperiod},
givenun=0}}%
}
\list{organization}{1}{%
{Springer}%
}
\strng{namehash}{7462b78f3d9060088ea9120055a370c5}
\strng{fullhash}{07a70228e7adea8a713f407888a90899}
\strng{bibnamehash}{07a70228e7adea8a713f407888a90899}
\strng{authorbibnamehash}{07a70228e7adea8a713f407888a90899}
\strng{authornamehash}{7462b78f3d9060088ea9120055a370c5}
\strng{authorfullhash}{07a70228e7adea8a713f407888a90899}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{extradatescope}{labelyear}
\field{labeldatesource}{}
\true{uniqueprimaryauthor}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers 12}
\field{title}{A study of subminimal logics of negation and their modal companions}
\field{year}{2019}
\field{pages}{21\bibrangedash 41}
\range{pages}{21}
\endentry
\entry{colacito2016minimal}{thesis}{}
\name{author}{1}{}{%
{{un=0,uniquepart=base,hash=3600d077e681ddd4e34dc4e164409c26}{%
family={Colacito},
familyi={C\bibinitperiod},
given={Almudena},
giveni={A\bibinitperiod},
givenun=0}}%
}
\list{institution}{1}{%
{University of Amsterdam}%
}
\strng{namehash}{3600d077e681ddd4e34dc4e164409c26}
\strng{fullhash}{3600d077e681ddd4e34dc4e164409c26}
\strng{bibnamehash}{3600d077e681ddd4e34dc4e164409c26}
\strng{authorbibnamehash}{3600d077e681ddd4e34dc4e164409c26}
\strng{authornamehash}{3600d077e681ddd4e34dc4e164409c26}
\strng{authorfullhash}{3600d077e681ddd4e34dc4e164409c26}
\field{sortinit}{C}
\field{sortinithash}{4d103a86280481745c9c897c925753c0}
\field{extradatescope}{labelyear}
\field{labeldatesource}{}
\true{uniqueprimaryauthor}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{title}{Minimal and Subminimal Logic of Negation}
\field{type}{mathesis}
\field{year}{2016}
\true{nocite}
\endentry
\entry{Jankov:1968}{article}{}
\name{author}{1}{}{%
{{un=0,uniquepart=base,hash=743038f81d1900ad9897cd45f8043456}{%
family={Jankov},
familyi={J\bibinitperiod},
given={V.\bibnamedelimi A.},
giveni={V\bibinitperiod\bibinitdelim A\bibinitperiod},
givenun=0}}%
}
\strng{namehash}{743038f81d1900ad9897cd45f8043456}
\strng{fullhash}{743038f81d1900ad9897cd45f8043456}
\strng{bibnamehash}{743038f81d1900ad9897cd45f8043456}
\strng{authorbibnamehash}{743038f81d1900ad9897cd45f8043456}
\strng{authornamehash}{743038f81d1900ad9897cd45f8043456}
\strng{authorfullhash}{743038f81d1900ad9897cd45f8043456}
\field{sortinit}{J}
\field{sortinithash}{b2f54a9081ace9966a7cb9413811edb4}
\field{extradatescope}{labelyear}
\field{labeldatesource}{}
\true{uniqueprimaryauthor}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0002-3264}
\field{journaltitle}{Dokl. Akad. Nauk SSSR}
\field{title}{The construction of a sequence of strongly independent superintuitionistic propositional calculi}
\field{volume}{181}
\field{year}{1968}
\field{pages}{33\bibrangedash 34}
\range{pages}{2}
\endentry
\entry{niki2020subminimal}{article}{}
\name{author}{1}{}{%
{{un=0,uniquepart=base,hash=adff91e2a00944ee74dad8da77849bd2}{%
family={Niki},
familyi={N\bibinitperiod},
given={Satoru},
giveni={S\bibinitperiod},
givenun=0}}%
}
\list{publisher}{1}{%
{Springer}%
}
\strng{namehash}{adff91e2a00944ee74dad8da77849bd2}
\strng{fullhash}{adff91e2a00944ee74dad8da77849bd2}
\strng{bibnamehash}{adff91e2a00944ee74dad8da77849bd2}
\strng{authorbibnamehash}{adff91e2a00944ee74dad8da77849bd2}
\strng{authornamehash}{adff91e2a00944ee74dad8da77849bd2}
\strng{authorfullhash}{adff91e2a00944ee74dad8da77849bd2}
\field{sortinit}{N}
\field{sortinithash}{22369a73d5f88983a108b63f07f37084}
\field{extradatescope}{labelyear}
\field{labeldatesource}{}
\true{uniqueprimaryauthor}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Studia Logica}
\field{number}{5}
\field{title}{Subminimal logics in light of Vakarelov's logic}
\field{volume}{108}
\field{year}{2020}
\true{nocite}
\field{pages}{967\bibrangedash 987}
\range{pages}{21}
\endentry
\entry{Wronski:1974}{article}{}
\name{author}{1}{}{%
{{un=0,uniquepart=base,hash=49d2e20da15b96283e9b3de5203a3013}{%
family={Wroński},
familyi={W\bibinitperiod},
given={Andrzej},
giveni={A\bibinitperiod},
givenun=0}}%
}
\list{language}{1}{%
{English}%
}
\strng{namehash}{49d2e20da15b96283e9b3de5203a3013}
\strng{fullhash}{49d2e20da15b96283e9b3de5203a3013}
\strng{bibnamehash}{49d2e20da15b96283e9b3de5203a3013}
\strng{authorbibnamehash}{49d2e20da15b96283e9b3de5203a3013}
\strng{authornamehash}{49d2e20da15b96283e9b3de5203a3013}
\strng{authorfullhash}{49d2e20da15b96283e9b3de5203a3013}
\field{sortinit}{W}
\field{sortinithash}{4315d78024d0cea9b57a0c6f0e35ed0d}
\field{extradatescope}{labelyear}
\field{labeldatesource}{}
\true{uniqueprimaryauthor}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0137-2904}
\field{journaltitle}{Rep. Math. Logic}
\field{title}{The degree of completeness of some fragmentsg of the intuitionistic propositional logic}
\field{volume}{2}
\field{year}{1974}
\field{pages}{55\bibrangedash 61}
\range{pages}{7}
\keyw{03B55}
\endentry
\entry{1994情報科学における論理}{book}{}
\name{author}{1}{}{%
{{un=0,uniquepart=base,hash=ca5ea390ad0e84592024443902e75711}{%
family={小野寛晰},
familyi={小\bibinitperiod}}}%
}
\list{publisher}{1}{%
{日本評論社}%
}
\strng{namehash}{ca5ea390ad0e84592024443902e75711}
\strng{fullhash}{ca5ea390ad0e84592024443902e75711}
\strng{bibnamehash}{ca5ea390ad0e84592024443902e75711}
\strng{authorbibnamehash}{ca5ea390ad0e84592024443902e75711}
\strng{authornamehash}{ca5ea390ad0e84592024443902e75711}
\strng{authorfullhash}{ca5ea390ad0e84592024443902e75711}
\field{sortinit}{小}
\field{sortinithash}{4e618867564d5b98fe6e6ca1a999d5c5}
\field{extradatescope}{labelyear}
\field{labeldatesource}{}
\true{uniqueprimaryauthor}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{isbn}{9784535608146}
\field{series}{情報数学セミナー}
\field{title}{情報科学における論理}
\field{year}{1994}
\verb{urlraw}
\verb https://books.google.co.jp/books?id=L7yXtgAACAAJ
\endverb
\verb{url}
\verb https://books.google.co.jp/books?id=L7yXtgAACAAJ
\endverb
\endentry
\entry{2012数理論理学}{book}{}
\name{author}{1}{}{%
{{un=0,uniquepart=base,hash=b7ebdf5d3d38b91522d899efe6e5ba91}{%
family={戸次大介},
familyi={戸\bibinitperiod}}}%
}
\list{publisher}{1}{%
{東京大学出版会}%
}
\strng{namehash}{b7ebdf5d3d38b91522d899efe6e5ba91}
\strng{fullhash}{b7ebdf5d3d38b91522d899efe6e5ba91}
\strng{bibnamehash}{b7ebdf5d3d38b91522d899efe6e5ba91}
\strng{authorbibnamehash}{b7ebdf5d3d38b91522d899efe6e5ba91}
\strng{authornamehash}{b7ebdf5d3d38b91522d899efe6e5ba91}
\strng{authorfullhash}{b7ebdf5d3d38b91522d899efe6e5ba91}
\field{sortinit}{戸}
\field{sortinithash}{e3092f79ecd6febee216061d0758709f}
\field{extradatescope}{labelyear}
\field{labeldatesource}{}
\true{uniqueprimaryauthor}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{isbn}{9784130629157}
\field{title}{数理論理学}
\field{year}{2012}
\true{nocite}
\verb{urlraw}
\verb https://books.google.co.jp/books?id=4pWeuAAACAAJ
\endverb
\verb{url}
\verb https://books.google.co.jp/books?id=4pWeuAAACAAJ
\endverb
\endentry
\entry{2007論理体系と代数モデル}{book}{}
\name{author}{1}{}{%
{{un=0,uniquepart=base,hash=6a8d52f42a0d4d6574fe3d6656fb6f9d}{%
family={青山広/愛知非古典論理研究会},
familyi={青\bibinitperiod}}}%
}
\list{publisher}{1}{%
{八千代出版}%
}
\strng{namehash}{6a8d52f42a0d4d6574fe3d6656fb6f9d}
\strng{fullhash}{6a8d52f42a0d4d6574fe3d6656fb6f9d}
\strng{bibnamehash}{6a8d52f42a0d4d6574fe3d6656fb6f9d}
\strng{authorbibnamehash}{6a8d52f42a0d4d6574fe3d6656fb6f9d}
\strng{authornamehash}{6a8d52f42a0d4d6574fe3d6656fb6f9d}
\strng{authorfullhash}{6a8d52f42a0d4d6574fe3d6656fb6f9d}
\field{sortinit}{青}
\field{sortinithash}{87e596821c5bd34e0e32ee348a57beea}
\field{extradatescope}{labelyear}
\field{labeldatesource}{}
\true{uniqueprimaryauthor}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{isbn}{9784842914336}
\field{title}{論理体系と代数モデル}
\field{year}{2007}
\verb{urlraw}
\verb https://books.google.co.jp/books?id=-eAJfAEACAAJ
\endverb
\verb{url}
\verb https://books.google.co.jp/books?id=-eAJfAEACAAJ
\endverb
\endentry
\enddatalist
\endrefsection
\endinput

lualatexを使っています。よろしければご教授お願いします。

現在TeXを勉強中の者です。

現状困っている訳でも、知ったからと言ってどうもないのですが、単純に興味本位です。
ご存知の方、もしくはプログラムに詳しい方、ご教授頂けると嬉しいです。

TikZの\intersectionが、たった1つのコマンドで複雑な曲線の交点を自動的に計算してくれることに、初めて使ったときは非常に感動しました。

自分は、pythonも学習しているのですが、そちらで2つの曲線の交点を求める(それも方程式で簡単に解けないようなもの)コマンドはなく(知らないだけかもしれないです)、自分でコードを書く必要がありました。

そこでは、グラフ上に等間隔に点をプロットして、2つのグラフの点の差分が1番小さい組み合わせ(丸め誤差を使う)を選出するというプログラムをつくりました。当然ごく微小のずれなどが出てきてしまう粗悪なアルゴリズムでしたが、それしか考えられませんでした。

実際、\intersectionというコマンドは裏でどのようなアルゴリズムで動いているのでしょうか。

それとも、wolframとまではいかないけれども、高精度の計算プログラムで実際に計算をしているのでしょうか。それだったらもう少し複雑な関数も書けて欲しいところなのですが(合成関数だとエラーを吐いてしまうので、結構困っています)。

有識者の方、何卒よろしくお願い致します。

お世話になっております。早速．
数式環境の外でラテン文字が勝手にキリル文字になってしまう．

Riemann  \\  %キリル文字になってしまうのです

の部分です．他のところは僕にとって正常です．
多分\selectlanguage の使い方のように見えますが今のところ悪戦苦闘
上手くいっていません．
\documentclass[a4paper]{jsarticle}
%  これは正しい．使える  奥村著343page　もまた．
\usepackage{amsmath,amssymb,amsthm}
\usepackage[T1,OT2]{fontenc}
%\usepackage[OT2]{fontenc}
\usepackage[russian,english]{babel}
\begin{document}
%%%%%%%%%%%%%%%%%%%%%%
\qquad $a=b+B$\quad ラテン文字出力\\
Riemann  \\  %キリル文字になってしまうのです
%%%%%%%%%%%%%%%%%%%%%%
\selectlanguage{russian}
ロシア語環境\\
\qquad $a=b+B$\quad ラテン文字出力\\
\qquad $a=b+\text{B}$ \quad キリル文字出力
 
\selectlanguage{english}
ロシア語環境外\\
\qquad $a=b+\cyr{B}$\quad ラテン文字出力\\
\qquad $a=b+\text{\cyr{B}}$ \quad キリル文字出力\\
Lang,S.  345page %ここはラテン文字で希望通り？
\selectlanguage{russian}    %奥村著343page　もまた．
\begin{gather*}
\text{\cyr{Q}}(t)=\lim_{M\to\infty}
\left[\log M-\sum_{n=0}^M\frac{n+\frac12}{(n+\frac12)^2+t^2}\right]\\
=\lim_{M\to\infty}\text{\cyr{Q}}_M(t)
            \end{gather*}
チェー
\end{document}

uplatexを使用しています 本文中の行頭の字下げの解除は \parindent = 0pt をどこかに記述すればいいことは承知しておりますが 脚注の中では、依然として行頭の字下げが行われてしまいます プリアンブルに何か記述するなどの方法で、脚注でも行頭字下げ解除にできないものでしょうか？

和田様 スレッドが長くなったので新しいトピックとします。前便でreadmetxt としたのは正しくは readme-txt.dir でした。install-tl-windowsを展開リストの中でクリックしてもコマンドプロンプトやWindows powershell の中でタイプしても無効でした。 ダウンロードに失敗したようなので、再度ダウンロードしようと思います。スクリーンショットをドロップする場所が無いのでこれでお察しください。 　　植木