著者

佐藤 亮介 田村 良一

出版者

日本感性工学会

雑誌

日本感性工学会論文誌 (ISSN:18845258)

巻号頁・発行日

vol.18, no.1, pp.139-145, 2019 (Released:2019-02-28)

参考文献数

7

被引用文献数

2

---

In order to increase the number of videos playback, we researched on the thumbnail images and the titles which were selected by the viewers. We built the samples and conducted the questionnaires in order to reveal the factors that make a great influence on the evaluation and be clear about the positive levels. We revealed the viewers decide the videos under the influence of the images rather than sentences and words. Also, Images factors are particularly effective for males. On the other hand, females are more affected by sentences and words than males. This research revealed the guidelines that YouTuber creates thumbnail images and titles and the elements to incorporate according to the target the males or the females. As a starting point of this research, we will be able to conduct more detailed research on thumbnail images and titles.

著者

佐藤 亮介 田村 良一

出版者

日本感性工学会

雑誌

日本感性工学会論文誌 (ISSN:18840833)

巻号頁・発行日

vol.18, no.1, pp.139-145, 2019

被引用文献数

2

---

<p>In order to increase the number of videos playback, we researched on the thumbnail images and the titles which were selected by the viewers. We built the samples and conducted the questionnaires in order to reveal the factors that make a great influence on the evaluation and be clear about the positive levels. We revealed the viewers decide the videos under the influence of the images rather than sentences and words. Also, Images factors are particularly effective for males. On the other hand, females are more affected by sentences and words than males. This research revealed the guidelines that YouTuber creates thumbnail images and titles and the elements to incorporate according to the target the males or the females. As a starting point of this research, we will be able to conduct more detailed research on thumbnail images and titles. </p>

著者

佐藤 亮介 萩原 加奈子 喜多 綾子 杉浦 麗子

出版者

公益社団法人 日本薬理学会

雑誌

日本薬理学雑誌 (ISSN:00155691)

巻号頁・発行日

vol.147, no.6, pp.340-345, 2016 (Released:2016-06-11)

参考文献数

25

---

ERK MAPK経路やPI3K/Akt経路といった細胞内シグナル伝達機構は真核生物に高度に保存されており,細胞増殖や分化,アポトーシスといった様々な生命現象を制御している.このようなシグナル伝達機構に破綻が生じると,がんや自己免疫疾患,糖尿病,神経変性疾患などの疾病の引き金となることが知られている.したがって,シグナル伝達機構の制御機構を明らかにすることは,病態のメカニズム解明にとどまらず,疾病治療という観点からも極めて重要である.近年,シグナル伝達ネットワークを時空間的にダイナミックに制御する機構として,「RNA顆粒」という構造体が注目を集めている.ストレス顆粒やP-bodyといったRNA顆粒は,ポリ(A)+ RNAやRNA結合タンパク質などから構成されており,mRNAのプロセシングや分解,安定化といった転写後調節に関わる「RNAの運命決定装置」として発見された.我々は酵母遺伝学とゲノム薬理学的研究を展開することにより,MAPKシグナル依存的にストレス顆粒に取り込まれるRNA結合タンパク質を同定し,MAPKシグナルがストレス顆粒の形成を制御していることを見出した.さらに,カルシウムシグナルのキープレーヤーであり,免疫抑制薬FK506の標的分子でもあるSer/Thrホスファターゼ「カルシニューリン」がストレス顆粒に取り込まれることで,カルシニューリンシグナルが空間的に制御されていることを見出した.このような「ストレス応答やシグナル制御の拠点」としてのRNA顆粒の役割に関して種を超えた理解が進みつつあり,異常なRNA顆粒の形成と神経変性疾患やがんなどの病態との興味深い関係が浮かび上がりつつある.本総説では,我々の研究が明らかにしたシグナル伝達制御とRNA顆粒との関わり,その疾患治療への応用の可能性について紹介する.

著者

小林 直樹 佐藤 亮介 五十嵐 淳 塚田 武志 吉仲 亮 海野 広志 関山 太朗 佐藤 一誠

出版者

東京大学

雑誌

基盤研究(S)

巻号頁・発行日

2020-08-31

---

プログラム検証とは、プログラムが正しく振る舞うかどうかを実行前に網羅的に検証する技術であり、ソフトウェアの信頼性向上のために欠かせないものである。本研究課題では、近年の機械学習技術の台頭とそれに伴うコンピュータによって制御されたシステムの社会への普及を踏まえ、(1)代表者らがこれまで研究を進めてきた高階モデル検査などの自動プログラム検証技術や理論をさらに発展させるとともに、(2)プログラム検証技術のさらなる飛躍のために機械学習技術を活用し、さらに(3)機械学習技術の台頭に伴うソフトウェアの質と量の変化に対応するための、新たなプログラム検証技術の確立を目指す。

著者

小林 直樹 篠原 歩 佐藤 亮介 五十嵐 淳 海野 広志

出版者

東京大学

雑誌

基盤研究(S)

巻号頁・発行日

2015-05-29

---

本課題では、高階モデル検査の(1)理論的基盤の強化とそれに基づく高階モデル検査アルゴリズムの改良、(2)プログラム検証への応用、(3)高階モデル検査の拡張とそのプログラム検証への応用、(4)データ圧縮への応用、の4つを柱に研究を進めている。以下、それぞれの項目について、平成28年度(およびその繰越として遂行した平成29年度の一部の結果)について述べる。(1)理論的基盤の強化:HORSモデル検査とHFLモデル検査という2種類の高階モデル検査の間に相互変換が存在することを示すとともに、HFLモデル検査問題を型推論問題に帰着できることを示した。後者の結果に基づき、HFLモデル検査器のプロトタイプを作成した。また、高階文法の性質について調べ、語を生成するオーダーnの文法と木文法を生成するオーダーn-1の文法と間の対応関係を示した。さらに、高階モデル検査アルゴリズムの改良を行い、値呼びプログラムに対して直接的に高階モデル検査を適用する手法を考案、実装した。(2)プログラム検証への応用:プログラム検証で扱える対象プログラムや性質の拡充を行い、関数型プログラムの公平非停止性の検証、コード生成プログラムの検証、動的なスレッド生成を伴う高階並列プログラムの検証、などを可能にした。(3)拡張高階モデル検査:HORSに再帰型を加えて拡張したμHORSに対するモデル検査アルゴリズムの改良を行い、その有効性をJavaプログラムの検証を通して示した。(4)データ圧縮への応用:データをそれを生成する関数型プログラムの形に圧縮する方式(高階圧縮)について、圧縮後のプログラムをビット列に変換する部分の改良を行った。また、高階圧縮のための様々な要素技術について研究を進めた。