疑念は探究の動機であり、探究の唯一の目的は信念の確定である。

2016年9月から2017年6月までロシアのサンクトペテルブルク大学に遊学(私費留学)します。数学の哲学や論理学やHyper doctrineやHomotopy Type Theoryを学びに行きます。ロシアの生活から勉強についていろいろ書きたいと思います。どんなことでも何かコメントいただけるとうれしいです。特に、勉学のことで間違いなどあったらご指摘いただけると幸いです。 よろしくお願いします。くりぃむのラジオを聴くこととパワポケ2が人生の唯一の楽しみです。あと、ロシア人の悪口をボロクソに書きますので。

ペテルブルクに在る日本料理店

こんにちは。どうも僕です。 今回はペテルブルクに在る日本料理店を紹介したいと思います。

ペテルブルクに在るベトナム料理店

みなさん、こんにちは。どうも僕です。 今回はペテルブルクに在るベトナム料理店を紹介したいと思います。ここはまだ世界の歩き方ロシア編には載っていません(載ることを期待しています)。地元民ならではのお店ですので皆さんも是非ペテルブルクに来た際には…

函館観光

こんにちは。 札幌に帰る前に函館を観光しようと思って、函館を観光しました。新幹線で東京から函館北斗まで行きます。だいたい3時間半ぐらいです。そこから函館市内に行くために乗り換えます。十数分電車に乗れば、函館駅に着きます。

たい焼きカフェ(2)

こんにちは。 前にペテルブルクにあるたい焼きカフェに行きましたが、この前別のたい焼きカフェに行きましたので今回書きたいと思います。 今回私が行ったところは、一年ぐらい前にテレビで放送されていたカフェです。住所はPer. Brinko, 3(Пер. Бринко, 3)…

カントールの生誕地(ペテルブルク)

こんにちは。 今日はカントール(Georg Cantor)の生誕地をみなさんに教えようと思います。意外に思いますが、カントールは生まれてから11歳までペテルブルクに住んでいました。 しかし実を言うとカントールの記念碑は探しましたがありませんでした。 Wikipedi…

ロシアのキ○ガイに気をつけろ!!!

こんにちは。どうも僕です。 みなさんお元気でしょうか? 私のペテルブルクの滞在期間は1ヶ月を切りました。現在は論文とプレゼンを製作するために勉強を少し頑張っています。 しかし気分はよろしくありません。それは論文製作ということではなく、別の理由…

ロシアではラインが使えない件。

ロシアでは5月ごろからSNSのラインが使えなくなりました。理由は政治的な理由だそうです。いかにもロシアらしい。。。 www.asahi.com 急に使えなくなりました。今月の4日ごろからラインがつながりにくくなり、5日から使えなくなりました。 詳しい状況はこん…

サンクトペテルブルクでの地下鉄テロについて思うこと

今から二日前の4/3(月)にサンクトペテルブルクの地下鉄でテロが起こりました。そのことについての今の感想を述べたいと思います。 私は事件現場から2キロ以内のところに住んでいますが、事件についてはみなさん(日本人)と同じ情報量しか持っていません。なぜ…

実験:9 Google MapやStreet Viewの埋め込み

こんにちは。どうも僕です。 今回ははてなブログにGoogle MapやStreet Viewを埋め込む方法を書きたいと思います。

Я ходил в Тайяки-Кафе(たい焼きカフェに行ってきた)

こんにちは。どうも僕です。 先日ペテルブルクに在るたい焼きカフェというところに行きましたのでレポートしたいと思います。

ロシア語の便利な12個の表現----これさえ言えればロシア旅行は完璧!なはず?

こんにちは。どうも僕です。 今回はロシア旅行のさいに是非とも知っておいたほうがいいロシア語を書きたいと思います。 これから紹介する12個のロシア語さえ知っていればロシア旅行は問題なくできると思います(楽しめるかどうかはわかりませんが)。 この記事…

実験7 はてなブログの使いかた----「続きを読む」の使いかた

はてなブログにはもともと「続きを読む」という機能がついている。しかし、「続きを読む」を使った後にプレビューを見ても特に変化がないので、ここで試しに実験してみる。 以下に適当なことを書く。 哲学的雑感: 基本的には哲学的な問題(問い)とは、エセ問…

実験6 ブログの使いかた----ラインマーカーが使えるようになる。

目的 はてなブログでラインマーカーが使えるようにする。黄色で細い線のマーカーが引けるようにする。 以下参照したサイト はてなブログでマーカーラインの装飾をする方法 - 雲の向こうはいつも青空 like this [CSS] ダッシュボード→デザイン→カスタマイズ→…

実験5 はてなブログで表(テーブル)を作る。

Excel to Tableというのを使えばよい。 Excel to Table | Excel表からHTMLテーブルへ一発変換 | すぐに使える便利なWEBツール | Tech-Unlimited ExcelでもNumbersでもいいから作った表をHTMLテーブルへ変換する。 変換したものをコピーして、はてなブログの"…

実験4 ブログの使いかた

過去の記事や次回の記事のリンクをつける方法を確かめてみる。 過去の記事はこちら。 多分うまくいっていると思います。

実験3 ブログの使いかた

次回の記事を貼り付けする方法を確かめる ブログを作るさい、過去の自分の記事のリンクは「過去記事貼り付け」というオプションを使えば簡単にできる。または普通にURLをコピーを貼り付ければできる。 ywatanabevltmathscilogic.hatenablog.com では、次回の…

ペテルブルクの治安について

みなさん、こんにちは。どうも、僕です。 今日はロシアに行く人たちが気になっている、ロシアの治安について書きたいと思います。 私はサンクトペテルブルクにしか住んだことはありませんので他の都市の治安についてはわかりません*1。ですが、ペテルブルク…

久々の更新(今後の予定)

みなさん、お久しぶりです。お元気ですか。私は元気です。 2ヶ月以上更新を怠ってしまいすいません。 やはり、私はブログは合わないですね。ブログの使い方も忘れてしまいましたし。それにそもそも書くことは苦手で大変です。 この2ヶ月間は歯が取れてしまっ…

どんなロシア人も俺は信じない。

いままでだらだらと過ごしてきた。 自分に対する言い訳はいくらでも作ることができることを知った。 結局、性根はどこに行こうとも変わらないのだと知った。 たとえば、日本にいたときセミナーの準備はその前日かもしくは当日にしていた。明日やろう明日やろ…

久しぶりの記事(雑文)

おはようございます。ご機嫌いかがでしょうか。 一ヶ月以上更新していませんでしたが私は元気です。下痢や便秘の繰り返しですが。 ブログを更新していなかった理由はいくつかあります。といっても一番の理由は私にとってブログはあわないということに過ぎま…

サンクトペテルブルクに着いてすること。

こんにちは。 サンクトペテルブルクに着いて何もかもが初めてづくしなのでバタバタしていましたが、いちおう一通り終わりました。こちらに来て2週間過ぎて少し慣れましたので、これから以下の内容をブログを書きます。 (1) サンクトペテルブルクまでの行き…

サンクトペテルブルクに着く。

こんにちは。 近況報告です。 9/9(金)に成田空港を出発。同日にヘルシンキに着く。空港についてヘルシンキ中央駅に行こうと電車に乗った。しかし、駅には改札がなくて驚いた。無銭乗車はいけないだろうと思ったから近くにあった自動のチケット売りのようなと…

実験2 ブログの使い方

1.目次の改定 もう少しきれいな目次をつくる。 初期設定されていたドットを取り除き、囲みとかつくりたい。なんかいじくればできるそうだ。デザイン→カスタマイズ→デザインCSSに入って、以下のように変更する。 .table-of-contents{background-color: #fffff…

実験1 ブログの使い方

写真の挿入 写真の挿入をしたときフォトライフの利用容量が今月上限に達したとの通知が届く。でも結局、写真は挿入できた。大きさも自由に変えられる。ただし、写真の縦と横の比率は変えられない。 2. 引用の仕方 吾輩は猫である。名前はまだない。 夏目漱石…