数式導入 / Mathematical expression insertion

$\begin{array}{rl}\bar{x}& =\frac{x_1+x_2+\cdots +x_n}{n}\\ & =\frac{1}{n}\sum _{k=1}^n{x}_k\end{array}$

このように「ビジュアル」→「LaTex数式記入(赤枠)」によりHP上で綺麗な数式を表示することができます。
各種数式の書き方は下記の確認サイトをご参照の上、ご利用・ご活用下さい。

***　確認サイト　***
aTeX – コマンド一覧(外部サイト)
http://www1.kiy.jp/~yoka/LaTeX/latex.html
MathJaxによる数式表示(外部サイト)
https://oku.edu.mie-u.ac.jp/~okumura/javascript/mathjax.html
MathJaxの使い方(外部サイト)
http://gilbert.ninja-web.net/math/mathjax1.html

---

静岡大学理学部　依岡先生HP(外部サイト)　https://wwp.shizuoka.ac.jp/yorioka/works/　より抜粋

My publication list in MathSciNet

○Some consequences from Proper Forcing Axiom together with large continuum and the negation of Martin’s Axiom,Journal of the Mathematical Society of Japan, accepted, Nov. 2015.

　Recently, David Asperó and Miguel Angel Mota discovered a new method of iterated forcing using models as side conditions [Forcing consequences of PFA together with the continuum large, Trans. Amer. Math. Soc. 367 (2015), no. 9, 6103-6129]. he side condition method with modelswas introduced by Stevo Todorčević in the 1980s. The Asperó-Mota iteration enables us to force some ${\mathrm{\Pi }}_2$-statements over $H({\mathrm{\aleph }}_2)$ with the continuum greater than ${\mathrm{\aleph }}_2$. In this article, by using the Asperó-Mota iteration, we prove that it is consistent that $\mho$ fails, there are no weak club guessing ladder systems, $\mathfrak{p}=\mathrm{add}(\mathcal{N})=2^{{\mathrm{\aleph }}_0}>{\mathrm{\aleph }}_2$ and ${\mathsf{MA}}_{{\mathrm{\aleph }}_1}$ fails.

○Keeping the covering number of the null ideal small,Fund. Math. 231 (2015), 139-159.

　It is proved that ideal-based forcings with the side condition method of Todorčević add no random reals. By applying Judah-Repický’s preservation theorem, it is consistent with the covering number of the null ideal equal to ${\mathrm{\aleph }}_1$ that there are no $S$-spaces, every poset of uniform density ${\mathrm{\aleph }}_1$ adds ${\mathrm{\aleph }}_1$ Cohen reals, there are only five cofinal types of directed posets of size ${\mathrm{\aleph }}_1$, and so on. This extends the previous work due to Zapletal　[Keeping additivity of the null ideal small, Proc. Amer. Math. Soc.125 (1997), no. 6, 2443-2451].
Chodounský and Zapletal developed this result in

○Club-isomorphisms of Aronszajn trees in $\mathsf{PFA}(S)[S]$ Notre Dame Journal of Formal Logic, accepted, October 2014.

○${\mathbb{P}}_{\mathrm{m}\mathrm{a}\mathrm{x}}$ variations related to slaloms, Math. Log. Q. 52 (2006), no. 2, 203-216.

　We prove the iteration lemmata, which are the key lemmata to show that extensions by ${\mathbb{P}}_{\mathrm{m}\mathrm{a}\mathrm{x}}$ variations satisfy absoluteness for ${\mathrm{\Pi }}_2$-statements in the structure for some set of reals in $L(\mathbb{R})$, for the following statements: (1) The cofinality of the null ideal is ${\mathrm{\aleph }}_1$. (2) There exists a good basis of the strong measure zero ideal.

割愛、依岡先生の作成ＨＰで表示されるその他数式記載

$\mathcal{P}(\omega )/\mathrm{f}\mathrm{i}\mathrm{n}$　，　$({\omega }_1,\mathfrak{c})$　，　$\dot{C}$　 ，　${\mathsf{R}}_{1,{\mathrm{\aleph }}_1}$　，　$N{S}_{{\omega }_1}$

***　おまけ　***

$x=\frac{-b\pm \sqrt{b^2-4ac}}{2a}$ , $\frac{\pi }{2}={\left({\int }_0^{\mathrm{\infty }}\frac{\sin x}{\sqrt{x}}dx\right)}^2=\sum _{k=0}^{\mathrm{\infty }}\frac{(2k)!}{2^{2k}(k!{)}^2}\frac{1}{2k+1}=\prod _{k=1}^{\mathrm{\infty }}\frac{4k^2}{4k^2–1}$

$e^{i\theta }=\cos \theta +i\sin \theta$ , $J_{\alpha }(x)=\sum _{m=0}^{\mathrm{\infty }}\frac{(-1{)}^m}{m!\mathrm{\Gamma }(m+\alpha +1)}{\left(\frac{x}{2}\right)}^{2m+\alpha }$

$\begin{array}{r}A=\left[\begin{array}{ccc}{a}_{11}& a_{12}& a_{13}\\ a_{21}& a_{22}& a_{23}\\ a_{31}& a_{32}& a_{33}\end{array}\right]\end{array}$