「Schema」を含む日記

■anond:20240216210851

これは本質的な問で、哲学では「規則の問題」あるいは「規則のパラドックス」として知られる古典的な問題意識です。「規則の問題」の議論では足し算などが例として良く用いられますが、ここでは形式的な証明を例に説明します。

形式的な証明体系において、「推論規則」あるいは「公理」は無限種類あるため一覧表を作ることができません。そのため通常は「推論規則型（rule schema）」や「公理型（axiom schema）」と呼ばれる、無限個の論理式をひとつの式で代表したものを使って有限っぽく表示します。例えば、ツリーにある「 A と A → B が証明可能なら B が証明可能」というのは規則スキーマです。これは A と B がどのような論理式でも使える規則型であり、（A と B を具体的な論理式に置換して得られる）無限種類の規則の集まりを有限で表現したものです。例えば「x=0 と x=0 → x^2=0 が証明可能なら x^2=0 が証明可能」は規則の例です。

そして問は、まさに規則型や公理型から規則を得る方法はどうして合意できるのか、ということだと思います。例えば「x=0→x^2=0 と x=0→x^2=0→-x=0 が証明可能なら -x=0 が証明可能」はさきほどの規則型の形に当てはまらないものなのですが、この "事実" を全員が了解しているのがどういう理屈によるのか、というのが問です。そしてこれは正しく「規則の問題」です。

ここからは私見ですが、「規則型から規則を得る方法について全員が一致する見解に到れる」というのは幻想でしょう。ただ、現実に数学を営む上では「規則型から規則を得る方法について数学者の見解は一致している」と思い込んでもこれまで大きな問題を生じてはいないので、問題が生じるまでは別に気にしなくていいのではないか、という感じではないかと思います。元々の問であった教師と生徒の例についていえば、数学者コミュニティに近しい立場である教師がコミュニティの流儀を教えている、ということになるのではないでしょうか。

Permalink | 記事への反応(1) | 09:57

ツイートシェア

■スキマスイッチ ＝ schema switch

つまずいて（新技術に対応できず）転んでたら（転職もできず）置いてかれんだ

泥水の中を今日もよろめきながら進む

Permalink | 記事への反応(0) | 17:00

ツイートシェア

■女のホスト狂いを治す方法があるぞ

男のキャバ狂いも治るから安心してくれ

あとアイドル狂いもスパチャ狂いもガチャ依存もアルコール依存も治る

どうやって治すかというとスキーマ療法をみんなでやる。これだけでいい（多分）

まとめ

• 依存は満たされない欲求からの逃避
• 何を満たしてほしいのか、どうやったら満たされるのか、満たされない時のマシな選択肢を考えるのがスキーマ療法
• セルフで出来るのでみんなでやろう

依存の仕組み

つらい、孤独、寂しい、満たされない感情

　↓

それから逃避するために刺激（恋愛、酒、危険行為）を欲する

　↓

刺激で出る脳内物質で気持ちよくなり、寂しさや満たされない感情が意識の上から消える

　↓

寂しくない！寂しかったり喜びが無い状態の時はコレ！

ものすごく適当だがこれがホス狂いおよびだいたいの依存症の仕組みだ

寂しさに効くスキーマ療法

スキーマ療法は依存の仕組みの最初の「満たされない感情」に焦点をおいている

「なぜ自分が満たされないのか？」を安全を確保しながら考えていくやり方だ

スキーマ（schema）とは日本語にすると概念だ。「自分は○○である」という概念に焦点を当てる

「○○である」と自分が認識しているもののうち、人生の早いとき（子供の頃）に形成された、発動するとダメージを受けるようなものを

「早期不適応スキーマ」といい、これが療法の主な対象となる

子供には基本的な人間としての欲求（basic emotional needs）がありこれが満たされていないとき不適応なスキーマを作りやすい

早期不適応スキーマが発動すると人は感情に打ちのめされ「人生やっていけねー！」という気分になる

人生やっていけねー！と思うのはとてもつらいので、酒を飲んだりガチャガチャして賭け事で興奮したり自分の人生よりこの人優先！という恋愛や過剰な推し事に逃避する

人によっては人生をやっていけるように気合でものすごく頑張ってみたり（根性論だな）もうなんも知らん……という状態になったりする

そうならないように早期不適応スキーマを自覚して発動しないようにしたり、発動してもそれに気づいて宥められるようになる……というのが目的だ

結局なにやるの

スキーマ療法のワークブック読んで指示通りにしてする

なんかまあ色々やることが書いてあるんだけど、それが自分にどんな風にヒットするかはその人次第なんでやってみるしかない

Q.認知行動療法とは違うの？

A.スキーマ療法は認知行動療法をさらに発展させたものといわれている

　好きな方でいいと思う

Q.いままであった方法と何が違うの？

A.自分で出来る、というのが一番大きい（これは認知行動療法もだが）

　これは安全を確保する作業が必ず組み込まれているので、深く考えすぎて心のバランスを崩さないようにしてある

　つまりこの方法は他人を信じられなくて頼りたくない時、自分が弱っていることを知られるのが恥ずかしい時にも使える

Q.みんなでやるって？

A.問題行動と言えるほどじゃないけど逸脱行為をするときはあるし、それが他人にしわ寄せされていって最後は大波になったりするのが減るだろ

　自分の地位が脅かされそうだから高圧的に出る→高圧的に出られると委縮してストレスがかかる→逃げたくなる等のサイクルがなくなる

　本を読めば自分で出来るから企業や学校や団体で研修に使ってみてほしい

　マジでヤバい精神状態の時はやる気起きないだろうから、それより辛くない状態の奴がやって社会全体のストレスを減らそうという考えだ

Q.科学的なの？

A.論文出したり数字測ったりしようとしてみる程度には科学的

　効果があるかないか判定されるのを恐れてはいない

．

Permalink | 記事への反応(1) | 20:57

ツイートシェア

■anond:20171221020132

2014.08.01

Wizardry Schema（ウィザードリィ スキーマ）サービス再開のおしらせ

http://www.wiz-s.jp/info.aspx?seq=6

確認中の不具合につきまして

http://www.wiz-s.jp/info.aspx?seq=4

2014.09.11

現在確認中の不具合に関しまして

http://www.wiz-s.jp/info.aspx?seq=9

2014.09.12

長期メンテナンス前からお持ちのデータにて、正常にプレイできないお客様へ

http://www.wiz-s.jp/info.aspx?seq=10

2015.01.29

不具合収束クライアント『Ver.1.1.3』公開

http://www.wiz-s.jp/info.aspx?seq=78

2015.06.19

【復旧】ログイン障害のご報告

http://www.wiz-s.jp/info.aspx?seq=122

2016.03.29

開発進捗についてのご報告（2016年3月29日）

http://www.wiz-s.jp/info.aspx?seq=241

2016.05.20

『Wizardry Schema』Android版　クローズドβテスト不具合一覧 (5/20 追記)

http://www.wiz-s.jp/info.aspx?seq=254

2017.01.12

【開発運営だより】 今後のアップデート予定について

http://www.wiz-s.jp/info.aspx?seq=330

このゲームじゃないけど、開発に従事している身としては、明日は我が身というか他山の石。

Permalink | 記事への反応(0) | 17:51

ツイートシェア

■

超ライトオタクが誕生したのかあらかじめ存在していたのかはどうでもよい

超ライトオタクなる言葉が認知されはじめたということだけが意味を持つ

- -

浮遊層はバズワードを食べて生きてるからね。

彼らがそう認識すれば、そうなってしまうよ。実際のところがどうあったとしてもね。

ディープなオタクの皆さんには残念でした。

これまであなたが一生懸命消費してきたコンテンツの奥行きは永久に失われ

毒気を抜かれたまがい物をファーストフードのように消費する超ライトオタクを横目で眺めることしか許されません。

ただ、何年か経てば超ライトオタクも廃れるのかもしれないしね

そのときは彼らの食い残しをあさることくらいはできるかもだよ。

少なくともしばらくは、かつて好きだったものを見るだけで気分が害されたとしても

がんばって生きて行ってください。

ところで、この先どうやってしのぐかについてなんだけど

彼らのうちの一人になってしまうのが一番楽だと思う。クラブで東方コスプレだってさ。楽しそうじゃないですか。

消費者がライトになれば供給側もライトにならざるを得ないから

たぶんしばらくは生産されるコンテンツも彼らに向けたものになっていくのだと思う。

そりゃ生産者だってお金稼がなきゃいけないからさ。ビジネスチャンスを逃すわけにはいかないでしょ

あるいはどうしても彼らのことが嫌で許せないんだとしたら

とてもじゃないけどライトとは言えないようなジャンルまでもぐっていくしかないと思うよ

文化的、倫理的、能力的な障壁が彼らの侵入を阻んでくれるはずだ。

たとえばschemaが超ライトになる局面ってのはあまり想像がつかない。

外国語じゃないと楽しめないコンテンツとかもありだと思う。

違法性のギャンブルやエログロなんかもライトとは言いがたいけどこれらについてはノーコメント

まあ、実際のところ言うほど残念なことになるとは思っていないんだけどね。

のまねこ騒動とかいろいろあったけど、結局のところ一過性のものだったわけじゃん。

そう遠くない将来、彼らは別のところに行ってくれるのだろうから

しばらくは教養を得るために別のものを消費してみてもいいんじゃないかな

ひょっとしたら新しい境地が見えてくるかもよ

Permalink | 記事への反応(1) | 19:59

ツイートシェア

■hp2133ドライバforXP

http://h50222.www5.hp.com/support/FH486PA/drivers/os_1093.html

からダウンロードできるドライバ一覧

が、このドライバだけだとまともに動かないので、英語版のページから落としてきたほうがいい

Permalink | 記事への反応(0) | 22:21

ツイートシェア

■[10日でつくるRuby on Rails ]11日目

前回までのあらすじ

[Ruby]10日目

http://anond.hatelabo.jp/20070925223241

id/passの再発行を申請したら届いたのはなんとブログのid/passだった！！

はたして締め切りに間に合うのか！！

はい、間に合うはずもありませんね。

夏休みの宿題は夏休みがおわってからやる主義の増田ですこんにちは。

一応エントリーだけはしておきました。

サービス開始できてないけどな！

今日のRuby（正確には２４時間ぐらいまえの）

next if　　：next はcontinueみたいな感じ。この表記に違和感。

unless　　：こんな書き方にはなにかなじめない。

一行if文が嫌いな増田には余計耐えられない。

@user = params[:id].nil? ? @myuser : User.find(params[:id])

こういう書き方が嫌い。意味わからん。

画像DB格納で苦戦

正直嵌った。

win環境がどうのがいけなかったのかと、

あれこれいじってみたのだけど、そうではなかったようだ。

start_form_tagに :multipart => true がぬけていた。

あと、{}で引数位置指定しないといけないんだと…。

http://techno.hippy.jp/rorwiki/?HowtoUploadFiles
http://www.fdiary.net/ml/rails/msg/1375/0/
start_form_tag({:action => 'create'}, :multipart => true)

これは結構やりがちなミスかもしれない。

ちなみに、本のサンプルも間違っていたので余計嵌った。

image_tagで拡張子なしのファイルを読み込むと勝手にpng拡張子がついてくる。

おかげさまで表示されない。

http://mumrik.air-nifty.com/blog/2007/05/16_r185r186_6.html

どうやら画像ファイルの拡張子が指定されていない URL だと自動的に png として扱うよ、ということらしいので、image_tag のところで url_for( ) した部分に追加修正をしてみる。

url_for(:action => 'xx', :id => 'xx', :extension => '.jpg')

対処療法でしかない。これだとjpgしかできないので正直どうしたものか。

:content_typeを一応保存しているので後から拡張子をつくることもできるが、

きっとなにかいいものがそのうちできるはず！！というかあるはず！！

→時間がなかったのでうっちゃった

redirect_back_or_defaultの使いどころに悩む。

rubyで画像を描画させているばあい、画像にもどってしまうからだ。

この挙動は最初意味わからなかったぜ。

→時間がなかったので最初の画面に飛ばして誤魔化した

テーブルでjoinで名前だけでももってきたいとき、元のテーブルにはどうやって別名つけたらいいんだろう？？

例えば、user名をuserテーブルからくっつけてもってきたい場合rubyは次みたいな

感じになるんだけど、正直気持ち悪い。

@catchcopy_pages, @catchcopy = paginate :catchcopies,

:conditions => contitions_str,

:select => 'catchcopies.id,user_id,users.login,catchcopies.catchcopy,catchcopies.created_at,vote,catchcopies.updated_at,item_id',

:joins => 'left outer join users on user_id = users.id ',

:order => 'created_at DESC' ,

:per_page => 10

ところでSchema.rbとかみるかぎりFKにも指定されていないんだが、大丈夫なのだろうか。

belongs_toとかではそこまでやってくれないものなのか。

ちなみにmigrateファイルでのalterとかの書き方はまだわかっていない。できるのかもしらない。

大会用サーバにアクセスできた

パスワードをメールで送ってもらってアクセスできるようになった！

ftpは公開してないのね…？　FTPあけてくれよ!!!

しかたないのでSSHでアクセス。

われながら情けないが、SSH越しのファイル転送のしかたがわからなかった。

rcpもscpもうまくできない。

これが環境の問題なのか、自分が悪いのか、やりかたが悪いのか、

問題の切り分けがそもそもできないので諦めた。

SSHで向こうのコマンドからrcpを蹴ってるってことはこっちが開けてないとダメってことだよね？

こっち閉じてるもの…。

wgetは生きていたので他のレンタルサーバー経由ファイルを取得。

ちなみにrcpができないのであげっぱなしさ！

が、しかし。unzipがはいってない。

tarで圧縮して、

tar xvf xxxx.tar

unzipがないのでzがつかえない。

フォルダの権限設定などをして、ローカライズ。

せっかく

ENV['RAILS_ENV'] ||= 'production'

みたいなymlがあるのに、

dispatch.cgi

dispatch.fcgi

に書かれた

#!c:/ruby/bin/ruby

を

#!/usr/bin/ruby

に変更しなきゃいけないのは、何かあれだなと思った。

これかえてまわってたら本番とローカルで世代が分岐しちゃうじゃないか…。

ちなみにmysqlのソケットの位置も違うようなので、

/tmp/mysql.sock

↓

socket: /var/run/mysqld/mysqld.sock

をymlに設定。

できればconfファイルのフラグの書き換えだけで乗り換えしたかった。

最近linuxとかにもめっきり触っていなかったのでコマンド表を一生懸命見た。

witch ruby　でインストールフォルダを割り出したり、

・・・findというコマンドが思い出せないときは情けなかった。

viコマンドも同様。

そうこうしながら設定完了

本番環境てテスト動作

あれ、動かない・・・500エラーが出てる。

wget経由でdispatch.cgiをそのまま配置したのが原因でした。

中身みたらcgiのエラー出力が書いてあった。

中継サーバで動いちゃったみたい。tarで固めてからわたしなおしましたとさ。

うごいたーー！！

でも、登録すると文字化けしている。

SQLで中身をみる。中身も文字化けしている。

おかしいなぁ……。

SQL>status

DBがlatin1になっていた…。

CREATE DATABASEも権限ないし…。

my.cnfも読み込み専用だった。

alter database XXXX DEFAULT CHARACTER SET utf8;

alter table XXXX DEFAULT CHARACTER SET utf8;

みたいな悪あがきもしてみたけど適わぬ夢。

SET NAMES utf8;

でもコネクションのところあたりでやってあげたいのだけど、

こういうときにRailsみたいなのは何がどこにあるのかわからない。

しょうがないので運営に問合わせしてみました。

ratin1は正直太刀できるきがあまりしない。

感想

unixとかlinuxとかそこらへん全然わからん…。

8日(のんびり)の勉強と2日(ほぼ徹夜)と1日(半日)のサーバー設定で、

アプリっぽいのはできあがった。

が、どうなのさ・・・。RonR

また今度Rubyの感想でもくっちゃべるよ。

[Ruby]タグでもひいておくれ。

なんていうか消化不良。

もっとちゃんとしたものつくりたいな……。

Permalink | 記事への反応(0) | 01:45

ツイートシェア