-generic- 総称的プログラミング -programming-
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
NGNG0002デフォルトの名無しさん
NGNG0003デフォルトの名無しさん
NGNG遺伝アルゴリズムか。北野武ウザすぎ
0004デフォルトの名無しさん
NGNG0005デフォルトの名無しさん
NGNG0006デフォルトの名無しさん
NGNG0007デフォルトの名無しさん
NGNGなぜにビート。宏明だろ。
0008デフォルトの名無しさん
NGNG0009デフォルトの名無しさん
NGNG0010デフォルトの名無しさん
NGNG001110
NGNG0012デフォルトの名無しさん
NGNG■■■■■終了■■■■■
0013デフォルトの名無しさん
NGNG0014デフォルトの名無しさん
NGNG0015デフォルトの名無しさん
NGNG0016デフォルトの名無しさん
NGNGCLOSの総称関数とOOのgenericsって、どういう関係?
0017デフォルトの名無しさん
NGNGCLOSの総称関数って英語では generic function だよね。
ここでいう generics って、どっちかというと ML の parametric polymorphism に
近いんじゃないの? で、MLを使っている側からいうと何が新しいんだかよくわからな
いのだが。
0018デフォルトの名無しさん
NGNG0019デフォルトの名無しさん
NGNG0020デフォルトの名無しさん
NGNGようやく世の中が追いついてきたということ。
次は型推論だ!
0021デフォルトの名無しさん
NGNG0022デフォルトの名無しさん
NGNGそうなん?
関数型言語はよく知らないけど、Genericsっていうと、
ひとつの処理実装で、型を (゚ε゚)キニシナイ!!っていう感じだけど、
CLOSの総称関数は、引数型組み合わせごとに処理実装をシコシコ用意してやる、
って感じで、全然方向が逆のようなイメージだけど。
0023デフォルトの名無しさん
NGNG0024デフォルトの名無しさん
NGNG最近のトピックとしてJavaに導入というだけで、
Generics自体が別に新しいとは誰も思ってないでしょ。
それよか、大先輩(なのか知らんけど)のMLだとGenericsはどんな感じなの?
ついでに関数型言語の勝たす異論てどのぐらいすごいの?
0025デフォルトの名無しさん
NGNG> ついでに関数型言語の勝たす異論てどのぐらいすごいの?
関数を定義する時に型を宣言しなくてよく、自動的に、
そのように定義できる(最も一般的な)型が与えられる。
もちろん矛盾が存在すれば検出される。
0026デフォルトの名無しさん
NGNGそれってそんなにうれしいの?
それに、意図してた型と他の型になっちゃうかもしれんじゃん。
しかし、勝手に一般的な型が与えられるってのは、Genericsっぽいな。
0027デフォルトの名無しさん
NGNG例えば、比較関数で public abstract int compare(<typeA> x, <typeA> y) ;
例えば、加算関数で public abstract <typeα> plus(<typeα> x, <typeα> y);
みたいな感じで、引数x と 引数y と、あと戻り値が、同じ型である事を宣言できれば。。。
何でもObjectで宣言して実装でキャスト、みたいなコテコテのコードを、
自然な感じのPolyMorphismとして扱えるやん。。。
で、Java Genericの機能はどのヘンまで北の?
JSRで議論が始まった頃は注目してたけど、
最近はJSRやJDK1.5仕様書、どころか厨房雑誌(JavaWorld)すら隅々まで読む暇もなくて、
よくわかんない。
0028デフォルトの名無しさん
NGNG> 例えば、加算関数で public abstract <typeα> plus(<typeα> x, <typeα> y);
なぜそれが出来ないと?
つうか、型パラメータって意味間違ってね?
002925
NGNG> それってそんなにうれしいの?
とてもうれしい。型宣言がいらないからね。
細かい関数を(関数の中でも)沢山つくる関数型言語では、
いちいち型宣言するのは面倒すぎる。
> それに、意図してた型と他の型になっちゃうかもしれんじゃん。
自分で明示的に宣言すればいい。
> しかし、勝手に一般的な型が与えられるってのは、Genericsっぽいな。
# Haskell で、add x y = x + y
# と定義すると、 add :: Num a => a -> a -> a という型があたえられる。
# "Num a => "というのは、+オペレータを持つtype class Num に 型aが
# 属している、という意味。type classはMLにはない。
# add :: Int -> Int -> Int などとつけくわえれば適用される型を制限できる。
0030デフォルトの名無しさん
NGNGそれは型パラメータじゃなくて、type classではないかと。
型パラメータというのは、
data List a = Cons a (List a) | Empty
というときのaのこと。
Cons True (Cons False Empty) :: List Bool
Cons 1 (Cons 2 Empty) :: List Int
などのように任意の型毎のリストがつくれるようになる。
head (Cons a _) = a
と定義すれば、これは型推論により、List a -> a という型が与えられ、
List Bool にも List Int にも作用できるものになる。
0031厨
NGNGGenericsでの「型パラメータ」は、hoge<T>の<T>とか自体では?
。。。あ、同じか?
なるほど、これが関数型でのGenericsか?(ホントか?)
あ、いや、これはただのhoge<T>ではなくhoge<T extends U>が相当するのではないか?
だって、MLにはないんだよね?
0032厨
NGNGしかし、MLにないっちゅうのはどういう事よ?
0033デフォルトの名無しさん
NGNG>>17
> ここでいう generics って、どっちかというと ML の parametric polymorphism に
の続きかと思っていた。
C++のテンプレートはadhoc overloadingがあるから、
テンプレートになるべき型を推論することはできないね。
パラメータとしての型が指定されてから、コンパイルできたりできなかったり
する。duck typingになってるってことなのかな。
0034厨
NGNGたぶん彼はそういう意図はないと思う。
というかそろそろ厨には訳若めでふ。この辺から勉強してきまふ。
http://www.tabee.com/private/lab/types/type22/node5.html
http://216.239.57.104/search?q=cache:E7Y5J8QeIAQJ:web.yl.is.s.u-tokyo.ac.jp/~ganat/memo/+parametric+polymorphism%E3%80%80ad+hoc&hl=ja&lr=lang_ja&ie=UTF-8
0035デフォルトの名無しさん
NGNGコンテナで中身の型が保証できるだけじゃねぇの?ショボ!
0036デフォルトの名無しさん
NGNGint hoge<T>(T)の定義で例えばf, g, ..という関数を利用するとして、
そのf,g ..がいくつかの特定の型にしか適用できないものであることがあるよね。
Listのheadは本当にgenericでどんなaに対するList aにでも適用できたけれど。
その場合、hogeの型は、あえていえば、
「なんだかわからないがfという名前の、これこれという
型の整合性を満たす、関数が適用でき、さらにgという...な型(T)をとって、
intを返す関数」になる。
それはそれで便利なんだけど、
これではあらかじめhogeをコンパイルしておくことが難しいし、
型推論したら
hoge :: T -> int, where T can be argument of functions f, g, ..
f has type T -> double, g has ...
というえらいことになってしまう:-)
0037デフォルトの名無しさん
NGNGそのfやgが属するべきtype classをあらかじめ指定しておいて、
そのtype classに属する型であることを推論できるようにしてある。
例えば
class FG a where
f :: a -> Double
g :: a -> Int
とあると、
hoge x = floor (f x) + g x
の型は、hoge :: FG a => a -> Int と推論される。
0038デフォルトの名無しさん
NGNG> Listのheadは本当にgenericでどんなaに対するList aにでも適用できたけれど。
そういう型を特定する目的がある場合は、 <T extends U> でつね。(ホントか?)
型推論であれば、f,gからTとして取り得る型が決まりそうだけど。
0039デフォルトの名無しさん
NGNG継承(subtyping)と任意にtype classを使えるところが違いか?
ん?おなじ?
0040デフォルトの名無しさん
NGNG> 継承(subtyping)と任意にtype classを使えるところが違いか?
そうだね。
継承関係に無い無関係な(定義済でもOK)型を自由にいつでも
そのtype classに追加することができる。
> 型推論であれば、f,gからTとして取り得る型が決まりそうだけど。
# ちょっと意味がわからないけれど、こういうことだろうか。
プログラムが単一のもので、他から利用されること無く、
全部書き上がっている場合は、全ての型とf, gをチェックすれば、
取りうる型の集合かを知ることができる。
でもそのプログラムにデータ構造や関数をつけくわえてしまえば
その集合は変わってしまい得る。
したがってバイナリのライブラリにはできないし、どこか変更がある度に
コンパイラはソース全体を読んでhogeを使用している部分を
再コンパイルする必要がでてくる。
エラーメッセージもわけ分からなくなるし。
0041デフォルトの名無しさん
NGNGただ、
> そのf,g ..がいくつかの特定の型にしか適用できないものであることがあるよね。
を束ねる型って、実際、継承親しかないんじゃないのかな。
0042デフォルトの名無しさん
NGNG継承親と同じ意味になるって意味でつ。
type classと継承は、実用上同じ意味かなと。後から定義できるかどうかを除けば。
004326
NGNG結局、
「型パラメータ」という用語は、Haskelでは構成型の型推論等で使う用語で、
>>26の例は 関数の型的制約だから、type class と呼ぶべきだ、
という事なのでしょうか?
関数型言語スレッドにありがちな事ですが、議論が微妙すぎて、
単に教科書のおさらいをしてるだけなのか、
(Genericや型推論という)テーマを新たに定義しなおそうとしているのか、
よくわかんないっす
0044デフォルトの名無しさん
NGNG最初の方のリンク、米澤県の輪講っすか?
「Type Systems and Programming Languages」ってどの本だろう?
日本のアマゾンで探しても、みつかんねぇや。これかな?
http://www.amazon.co.jp/exec/obidos/ASIN/047194128X/
004544
NGNG本家 amazon.com でも探してみたけど、そゆータイトルの本見つかんないっす。
・"Object-Oriented Type Systems" by by Jens Palsberg, Michael I. Schwartzbach (Contributor) $65.95
これかな。
いずれにせよ、さすが米澤県っすね。マニア心をくすぐる渋い輪講テーマだ(w
今度、その本注文しよっと
0046デフォルトの名無しさん
NGNG23.2 Varieties of Polymorphism
Parametric Polymorphism: 前節と本節のメイン。
型チェックではとりあえず「generic な」型を当てておいて、必要に応じて具体的な型で考えるタイプ。
Polymorphic なコードはプログラムテキスト上は同じ見かけになる。
最も強力なのは本節の impredicative (or first-class) polymorphism だが、
実用上広く使われるのは let-polymorphism である。
Ad-hoc Polymorphism: 型ごとに違ったコードを書くタイプ。
最も広く使われているものに overloading、それを一般化した multi-method dispatch 等がある。
intensional polymorphis や typecase のように、実行時に型情報を利用できる強力な機構もある。
OOP 界で polymorphism というときには ad-hoc polymorphism の一種である
subtype polymorphism を指すことが多い。
>>38-42
簡単に言うと、「Genericで型推論!」つう事は、
・OOで subtype polymorphismは普及したから、次は
・Genericで Parametric Polymorphismしようよ、
って話でOK?
(10年前からそりゃわかってるさ、わかってるけどOO屋が頭固いから・・・)
0047デフォルトの名無しさん
NGNGhttp://www.amazon.com/exec/obidos/tg/detail/-/0262162091/102-2455043-2214555?vi=glance
これでしょ?
ソース:http://web.yl.is.s.u-tokyo.ac.jp/~kohei/rinkou/types/
(ってまあ、厨の漏れにはさっぱりちんぷんかんぷんな訳だが)
0048デフォルトの名無しさん
NGNGモニータスピカーも、フィンランドのGenelecにしますたが、何か?
0049デフォルトの名無しさん
NGNGRuby の module みたいなのは generic programming って言うの?
0050デフォルトの名無しさん
NGNG関数型言語の方でもGeneric Programmingは最新のテーマだよ…。
Parametric Polymorphismなんつー30年前のネタとは違う。
G'Caml とか Generic Haskell とか調べてみれ。
0051デフォルトの名無しさん
NGNGhttp://research.microsoft.com/projects/clrgen/
0052デフォルトの名無しさん
NGNGふ〜ん、そうなんだぁ〜。
CommonLispコンパイラーやC++ STL近辺で
Parametric Polymorphismと関連して
総称型とかGenericとか普通に言ってたから、
両者の境界が見えなかったあるよ〜。
で。Parametric PolymorphismとGeneric Programmingの境界はナニですか?
あと、Genericのびぶりおぐらふぃぃキボンヌ
0053デフォルトの名無しさん
NGNGどういう関係なんでしょうか。
0054デフォルトの名無しさん
NGNG関数や変数の型付けが弱いLispでは、consセル以外の型なんて外付けだから、昔からGenericだけど、
型をきちんと扱う関数型言語では、型付けと総称型って、ムチとアメみたいな関係があって、
ムチの有効性を維持しながら如何にアメを提供するか、つう議論の決着がなかなかつかないのかな。
そ〜ゆ〜話題は、なんかSMの女王様向けの話題っすね。
漏れは、ムチよりもムチムチが好みだ・・・。
0055デフォルトの名無しさん
NGNG>>52-53ってどうなんでしょうね?
0056デフォルトの名無しさん
NGNGParametric Polymorphismを使えば、「list of intの全要素に関数を
適用する関数」も「list of stringの全要素に関数を適用する関数」
も「list of hogehogeの全要素に関数を適用する関数」も一個の定義で
書けた。OK。万歳だ。(MLとかHaskellのmap関数)
Generic Programmingなら、「list of hogehogeの全要素に関数を
適用する関数」も「tree of fugafugaの全要素に関数を適用する
関数」も「array of piyopiyoの全要素に関数を適用する関数」も
一個の定義で書ける。いえーい。(GenericHaskellのpmap、C++のfor_each…)
とか、あくまで一例だけどな。
http://web.comlab.ox.ac.uk/oucl/research/areas/ap/topics.html#GP
C++ STLやJavaはオブジェクト指向とかカプセル化を前提にしたGenericsなんで
実体は要するにParametricPolyとAdhocPolyを巧妙に混ぜて使ってる
だけにならざるを得ないんだけど、概念としては、そーゆーこと。
0057デフォルトの名無しさん
NGNG場の量子論をメズスコピックと言い直し、最近はナノテクノロジーと呼ぶのと一緒じゃないのかな?
研究の焦点や目的は、微妙に変化してるけど、扱ってる対象はおんなじ、みたいなw
0058デフォルトの名無しさん
NGNGJavaだと、Iterator interfaceっす
0059デフォルトの名無しさん
NGNGどれだけのことをGenericにできるかというのが課題なのだと思う。
Generic tree traversal についての最近のpaper(Haskell).
Scrap Your Bilerplate:
A Practical Design Pattern for Generic Programming
http://www.cs.vu.nl/boilerplate/
Visitor patternとの比較なんかもしてるしreferenceをたどるのも面白いかも。
個人的には"Derivable type classes (2000)"での、
「全ては式である」(by mathematica)的な(data typeの構造について帰納法)
方法に期待していたけれど開発中止っぽい:-(
0060デフォルトの名無しさん
NGNGで、型に関係なく適用できる関数ってなにができるの?
それとも、回すこと自体がGenerics?
0061デフォルトの名無しさん
NGNGお、ようやくコアな話題、かな。
OOとかデザパタっつうのも、形を変えた(一般向けの)型システムに関する議論なわけで、
漏れはOO専門家ぁ?みたいなのに身をやつして、そのあたりを(暇な時に)追っかけてますがw
(構成型の要素の型をパラメータとした)実装継承=パラメトリック多態性
(Javaインターフェースの実装のような)型継承 =総称多態性
ってなマッピングするだけだけどw
最近はOOがほぼ定着し(OOPが定着しただけだという話もちらほら)、
かつては関数型言語の話題だった総称型を扱う型システムも、OOのボキャブラリで語れるようになって、
なかなか便利な状況になって参りますたね。
最後の行、「全ては式である」つうのは、何の話でしょうか?
全てのオブジェクトは、関数型言語の部分計算キャッシュに過ぎないIという信念を持って
OOしてる漏れには、なんか気になるフレーズですた。
0062デフォルトの名無しさん
NGNG> JavaのIteratorだと、回すことは出来ても、肝心の関数適用が。。。
が、なんなの?関数適用の構文が変わるとは思えないんだが。
> で、型に関係なく適用できる関数ってなにができるの?
特定の型にだけなんらかの操作をするとかね。
>>59のペーパーでは複数のデータ型からなるTreeをトラバースして
特定の型に対してのみ変更を加えるといった問題を考えている。
> それとも、回すこと自体がGenerics?
それもGenerics。
0063デフォルトの名無しさん
NGNG>>60の方向を追求すると、
eval機構とか、高階関数とか、リフレクション、てな方向に逝って議論が発散するヨーカン。
その話題は、一番最初に決めちまうと身動きが取れなくなる、
一番最後に決まれば良いんだよ、といってみるテスト
0064デフォルトの名無しさん
NGNG> 最後の行、「全ては式である」つうのは、何の話でしょうか?
Mathematicaでは、全てのもの(関数、データ型等)が
"Head[a, b, c, ...]"という、リストにタグがついたような形をしていて、
それは「式」といわれる。そして、Map, Apply, First, Rest, .. といったような
いわゆるリスト操作的な関数が全ての「式」に適用できる。
構造を操作する関数が完全にGenericになっている。
Mathematicaはdynamic typingだけどね。
Derivable Type Classes というのは、data typeを
どれも同じタグ(コンストラクタ)+引数みたいな形であつかえるようにする話。
> 全てのオブジェクトは、関数型言語の部分計算キャッシュに過ぎないIという信念を持って
> OOしてる漏れには、なんか気になるフレーズですた。
…わからないです。
0065デフォルトの名無しさん
NGNGなるほど。Thx。
関数適用についてはGenericsではペーパーの議論レベルって事ね。
OOでは、Genericよりも手堅くSubTypingでGoと。
そうかんがえると、Iteratorもコンテナの枠組みだし、
>>35はあながち間違いじゃないということ?
0066デフォルトの名無しさん
NGNGさんくす。
こっちの信念の話は、ややこしいから横置いとくとしてぇ〜(苦笑
あ、やっぱWolframたんの数式処理システムのお話っすか。(数学者が何か言ったんだと思ったw
う〜ん、そーゆー考え方、漏れにとってもある種原点の体験っす。
できれば、やさぁ〜しく教えて下さると助かりまっす。
#2chだと、シム板のMAXIMAスレが多少関係あるのかなぁ。。。
0067デフォルトの名無しさん
NGNG> 関数適用についてはGenericsではペーパーの議論レベルって事ね。
GHCに実装されてるよ。
>>66
Mathematicaはこれとか
http://documents.wolfram.com/v5/TheMathematicaBook/PrinciplesOfMathematica/Expressions/2.1.1.html
>>64では"Head[a, b, c, ...]"でなく"Tag[a, b, c, ...]"
と書くべきだったな。
Derivable Type Classは、例えばこういうリストを
> data Data a = A a (AA a) (AAA a) | B a | C | D
((a * ((AA a) * (AAA a))) + (a + (1 + 1)))
のような直積と直和と考えて帰納的に操作するって感じ。
ペーパーは
http://research.microsoft.com/~simonpj/Papers/derive.htm
0068デフォルトの名無しさん
NGNG>特定の型にだけなんらかの操作をするとかね。
でしょうか。
Genericsの関数適用ってのは、出来る奴にだけする?
それって訳解るんでしょうかね。人間がコーディングするという前提で。
OOのSubTyping+AdHocならすっきりですが。
0069デフォルトの名無しさん
NGNG私はGHCの例を出された方とは違うのですが、
正直>>68さんのおっしゃっておられる事は、
Genericとは違う範疇の問題だと感じられます。
全ての型に対するGenericな操作、などというものは、
Lispのevalとか、OOのObjectクラスにしか通用しない話であり、
今更議論しても得る所は少ないのではないでしょうか?
0070デフォルトの名無しさん
NGNGと言っているだけのような気がするテスト。
0071デフォルトの名無しさん
NGNGと白旗あげてるだけのような気がするデバッグ。
0072デフォルトの名無しさん
NGNGどもども、これから、読ませて頂きます。
即レスは、、、ちょいとムズイっぽいです。
あと、オブジェクト指向言語の上で、数式と型のお話を実装しようとした試み(symbolicC++)の本が、
自宅のコンソール下に放置しっぱなしで、こっちも数年振りに目を通しとこうかなw
0074橘
NGNG◆新着情報◆. ★2004年4月8日★ UV対策をアップいたしました。
★2004年4月5日★ ジーンズニュースをアップいたしました。 ★2004
年3月30日★ リップリップのオススメをアップいたしました
0075デフォルトの名無しさん
NGNG0076デフォルトの名無しさん
NGNGそうは言っても、Javaのinterfaceは、ad-hockそのものだろ、と言ってみる手戻り発生。
0077デフォルトの名無しさん
NGNGというQA票を発送するテスト。
0078デフォルトの名無しさん
NGNGなんにでも聞く薬かと思ってしまう(笑)
0079デフォルトの名無しさん
NGNG型パラメタのキャストをいれるもの、と外した回答で工数浪費。
0080デフォルトの名無しさん
NGNG「A Comparative Study of Language Support for Generic Programming」
という題の論文がちょっと前に SIGPLAN に出てた。以下の言語を幾つかの視
点から比べてた。
C++
Standard ML
Haskell
Eiffel
Generic Java
Generic C#
論文曰く、結局 Haskell が一番良さげなんだそーだ。その次は Standard ML ね。
0081デフォルトの名無しさん
NGNG> OOしてる漏れには、なんか気になるフレーズですた。
そういうのを手続き指向という。
オブジェクト指向の世界観は、もっとステートフルで順序的で、
拡張性・互換性のためなら副作用大歓迎という文化。
0082デフォルトの名無しさん
NGNGおにぃさん、今、研究機関の研究テーマの流行りは、
Statelessな関数型言語(ML,Haskel,Clean,etc.)で確立した型システムの扱いを、
Javaを始めとするオブジェクト指向言語の型システム(クラス)へと適用/拡張することなんですよ。
0083デフォルトの名無しさん
NGNG関数言語の型システムで、オブジェクト指向の型システム(クラス)を説明できるようになり、
最終的には、オブジェクト指向言語の型システム(クラス)について、フォーマルな取り扱いがしやすくなるんでわ?
つうのが、漏れの信念です。
でも、こーゆーのって、米澤県とかMSRあたりのキラ星研究者がやってるテーマな気がする。。。
0084デフォルトの名無しさん
NGNGその「研究機関の研究テーマ」ってのは何だ?(w
0085デフォルトの名無しさん
NGNG0086デフォルトの名無しさん
NGNGおまえが研究機関か!
あれほど裏の空き地で野球を(ry
0087デフォルトの名無しさん
NGNGなんで一々絡んでくるの?だから素人は嫌いだ。
0088デフォルトの名無しさん
NGNG0089デフォルトの名無しさん
NGNG相手に丁寧な説明を要求しちまうような、
礼儀知らずで無作法な厨房って多いよな。
俺はそういう厨房が、大嫌いだ。
今も、大岡山近くの事務所(誰だよ番頭は?)から、
その手の厨房が俺の席前に出張ってきていて、
対応に困ってる。
こっちの言うこと全然聞かねぇで反論ばっかりだし(口癖は聞いて下さいよ〜)し、
メールで返事しろつっても、非難するような口調で一々口頭で質問してくるし、
忙しいから出来るか出来ねぇかまず答えろつっても、じくじく質問してきやがって、
挙句の果て、ここまで説明すりゃーどんな厨房でも出来るだろ、っつう説明をし終えると、
今度は「そんなことやっても意味がないです」ブチッ
てめぇの趣味聞いてんじゃねぇんだよ、仕事だからやれよ。
自分で方法も思いつかず、忙しい人様の時間を浪費して質問してくるなら、
さっさと実装しろよ。方法を人に聞いて、自分勝手に結論出して意味がねぇって、おまえ何様?
ふつ〜、そ〜ゆ〜無作法な奴って、卒業研究か博士課程でゴリゴリ削られて丸くなるもんなんだけど、
その程度の訓練もできてないヤシが、なんで大口叩くの?40も近くなって。お子様ですか?
と、ゆーような、アフォに心乱される日々を送る、2004年春の夜。
0090デフォルトの名無しさん
NGNGってこったな。
0091デフォルトの名無しさん
NGNG俺にもわかるように教えてください。
0092デフォルトの名無しさん
NGNG0093デフォルトの名無しさん
NGNG君ももうちょっと大人になればいいのに。
0094デフォルトの名無しさん
NGNG・虚偽の報告をする奴
・分担作業者間のすり合わせをのらりくらり逃げる奴
・ぷろぱの指示聞けない外注さん
は、居なくていいか、と。
俺がこんなこと言わにゃならんとはな〜、世も末だなこりゃw
老婆心ながらアドバイスしとくと。
・報告やすり合わせの場で、あんま反論ばっかりすると、
プロジェクトが荒れるから、もうちょっと反論の方法を考えた方が良いよ。
口頭でつじつまの合わない逃げを打つと、ボロクソに叩かれるのが道理。
それでも自分に理があると思うなら、冷静にメールで事実を伝えてはどうよ。
CCで自分と相手の上司にもCC打つのは基本動作。
ようするに、口頭でツマラン喧嘩する暇があったら、自分も相手も逃げ場のない方法で
きちんとした誠実な議論をして呉れっつう事。それが、正しい問題解決の方法だよん。
0095デフォルトの名無しさん
NGNG不合理外注も(゚д゚)イラネ、ペッ
0096デフォルトの名無しさん
NGNG独善的終了済プロ真似の愚痴はこちらで http://life4.2ch.net/yume/
0097デフォルトの名無しさん
NGNGいみ、ふめいですぅ〜☆
0098デフォルトの名無しさん
NGNG0099デフォルトの名無しさん
NGNGこの板の過疎っぷりも、ひどいな。
ここ数年、気違いが荒らしまくってるのを放置した結果が、このザマか。
0100デフォルトの名無しさん
NGNG0101デフォルトの名無しさん
NGNG■ このスレッドは過去ログ倉庫に格納されています